Interface Variable

All Superinterfaces:

Comparable<Term>, Serializable, Term

public interface Variable
extends Term

A variable is a placeholder for an other Term.

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
String	getLabel()	Return a label that represents this term.

Methods inherited from interface Comparable

compareTo

Methods inherited from interface Term

getIdentifier, 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.