public abstract class AbstractTerm extends Object implements Term
Constructor and Description |
---|
AbstractTerm() |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Term o) |
boolean |
equals(Object obj) |
boolean |
equals(Term term) |
String |
getLabel()
Return a label that represents this term.
|
int |
hashCode() |
boolean |
isConstant()
Returns true iff this term is a Constant.
|
boolean |
isLiteral()
Returns true if this term is a literal, in this case
Term.isConstant() must also return true. |
boolean |
isVariable()
Returns true if this term is a Variable.
|
String |
toString() |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getIdentifier, getType
public String getLabel()
Term
Term.getIdentifier()
).public final boolean isConstant()
Term
Term.isConstant()
must be equals to !Term.isVariable()
.isConstant
in interface Term
public final boolean isVariable()
Term
Term.isVariable()
must be equals to !Term.isConstant()
.isVariable
in interface Term
public final boolean isLiteral()
Term
Term.isConstant()
must also return true.public int compareTo(Term o)
compareTo
in interface Comparable<Term>
public boolean equals(Term term)
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.