KeyFactories.KeyFactory2

java.lang.Object

org.projog.core.predicate.udp.KeyFactories.KeyFactory2

All Implemented Interfaces:: KeyFactories.KeyFactory

Enclosing class:: KeyFactories

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

Constructor Summary

Constructors

Modifier

Constructor

Description

private

KeyFactory2()
Method Summary

Modifier and Type

Method

Description

KeyFactories.Key2

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

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

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