public interface Term extends Comparable<Term>, Serializable
Constant
or Variable
, a variable is
a placeholder for an other term.Modifier and Type | Interface and Description |
---|---|
static class |
Term.Type
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
Object |
getIdentifier()
A unique identifier of this term.
|
String |
getLabel()
Return a label that represents this term.
|
Term.Type |
getType()
Deprecated.
|
boolean |
isConstant()
Returns true iff this term is a Constant.
|
boolean |
isLiteral()
Returns true if this term is a literal, in this case
isConstant() must also return true. |
boolean |
isVariable()
Returns true if this term is a Variable.
|
compareTo
boolean isConstant()
isConstant()
must be equals to !isVariable()
.boolean isVariable()
isVariable()
must be equals to !isConstant()
.boolean isLiteral()
isConstant()
must also return true.String getLabel()
getIdentifier()
).Object getIdentifier()
this.getIdentifier().equals(o.getIdentifier())
must be equivalent to
this.equals(o)
.@Deprecated Term.Type getType()
Term.Type
of this term.Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.