public final class PredicateIndicator extends java.lang.Object implements java.lang.Comparable<PredicateIndicator>, 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 |
---|---|
int |
compareTo(PredicateIndicator pi) |
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 int compareTo(PredicateIndicator pi)
compareTo
in interface java.lang.Comparable<PredicateIndicator>
public java.lang.String toString()
toString
in class java.lang.Object