public final class PredicateIndicator
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
PredicateIndicator(java.lang.String functor,
int arity) |
PredicateIndicator(java.lang.String prefix,
PredicateIndicator pi) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
int |
getArity() |
java.lang.String |
getFunctor() |
int |
hashCode() |
java.lang.String |
toString() |
public PredicateIndicator(java.lang.String functor, int arity)
public PredicateIndicator(java.lang.String prefix, PredicateIndicator pi)
public java.lang.String getFunctor()
public int getArity()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object