public final class PredicateIndicator extends java.lang.Object implements java.lang.Comparable<PredicateIndicator>, java.io.Serializable
Modifier and Type | Field and Description |
---|---|
private int |
arity |
private java.lang.String |
functor |
private int |
hash |
private Atom |
ns |
Constructor and Description |
---|
PredicateIndicator(Atom ns,
java.lang.String functor,
int arity) |
PredicateIndicator(java.lang.String functor,
int arity) |
Modifier and Type | Method and Description |
---|---|
private int |
calcHash() |
int |
compareTo(PredicateIndicator pi) |
boolean |
equals(java.lang.Object o) |
int |
getArity() |
java.lang.String |
getFunctor() |
Atom |
getNS() |
int |
hashCode() |
java.lang.String |
toString() |
private final java.lang.String functor
private final int arity
private final int hash
private final Atom ns
public PredicateIndicator(java.lang.String functor, int arity)
public PredicateIndicator(Atom ns, java.lang.String functor, int arity)
public java.lang.String getFunctor()
public int getArity()
public Atom getNS()
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>
private int calcHash()
public java.lang.String toString()
toString
in class java.lang.Object