KeyFactories.KeyFactory3

java.lang.Object

org.projog.core.predicate.udp.KeyFactories.KeyFactory3

All Implemented Interfaces:: KeyFactories.KeyFactory

Enclosing class:: KeyFactories

private static final class KeyFactories.KeyFactory3 extends Object implements KeyFactories.KeyFactory

Constructor Summary

Constructors

Modifier

Constructor

Description

private

KeyFactory3()
Method Summary

Modifier and Type

Method

Description

KeyFactories.Key3

createKey(int[] positions, Term[] args)

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- KeyFactory3
  
  private KeyFactory3()
Method Details
- createKey
  
  public KeyFactories.Key3 createKey(int[] positions, Term[] args)
  
  Specified by:
  
  createKey in interface KeyFactories.KeyFactory