org.openqed.struct.namedid
Class PredicateId

java.lang.Object
  org.openqed.struct.namedid.NamedId
      org.openqed.struct.namedid.DynamicId
          org.openqed.struct.namedid.FunctorId
              org.openqed.struct.namedid.PredicateId

public class PredicateId
extends FunctorId

Field Summary

static PredicateId	EQUALITY_PREDICATE_ID
static java.lang.String	EQUALITY_PREDICATE_NAME

Method Summary

static PredicateId	getOrCreate(java.lang.String name, int arity)
boolean	isProposition()

Methods inherited from class org.openqed.struct.namedid.FunctorId

getArity

Methods inherited from class org.openqed.struct.namedid.NamedId

equals, getName, hashCode, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

EQUALITY_PREDICATE_NAME

public static final java.lang.String EQUALITY_PREDICATE_NAME

See Also:

Constant Field Values

EQUALITY_PREDICATE_ID

public static final PredicateId EQUALITY_PREDICATE_ID

Method Detail

getOrCreate

public static PredicateId getOrCreate(java.lang.String name,
                                      int arity)

isProposition

public boolean isProposition()