public interface Constant extends Term
Literal
.Modifier and Type | Method and Description |
---|---|
Object |
getIdentifier()
A unique identifier of this term.
|
String |
getLabel()
Return a label that represents this term.
|
getType, isConstant, isLiteral, isVariable
compareTo
String getLabel()
Term
Term.getIdentifier()
).Object getIdentifier()
Term
this.getIdentifier().equals(o.getIdentifier())
must be equivalent to
this.equals(o)
.getIdentifier
in interface Term
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.