Interface Constant

All Superinterfaces:

Comparable<Term>, Serializable, Term

All Known Subinterfaces:

Literal

public interface Constant
extends Term

A constant is a symbol referring to something, is either a simple constant or a Literal.

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Nested Class Summary

Nested classes/interfaces inherited from interface Term

Term.Type

Method Summary

Modifier and Type	Method	Description
Object	getIdentifier()	A unique identifier of this term.
String	getLabel()	Return a label that represents this term.

Methods inherited from interface Comparable

compareTo

Methods inherited from interface Term

getType, isConstant, isLiteral, isVariable

Method Details

getLabel

String getLabel()

Description copied from interface: Term

Return a label that represents this term. There is no guarantee that two terms with the same label represent the same term (see Term.getIdentifier()).

Specified by:

getLabel in interface Term

Returns:

a label that represents this term.

getIdentifier

Object getIdentifier()

Description copied from interface: Term

A unique identifier of this term. The following constraint must be fulfil:
this.getIdentifier().equals(o.getIdentifier()) must be equivalent to this.equals(o).

Specified by:

getIdentifier in interface Term

Returns:

a unique identifier of this term.