org.deri.iris.api.terms
Interface IVariable

All Superinterfaces:

Comparable<ITerm>, ITerm

All Known Implementing Classes:

Variable

public interface IVariable
extends ITerm

An interface for representing a variable term. A variable term is a term which represents a variable.

Author:

Darko Anicic, DERI Innsbruck

Method Summary

String

getValue() Return the wrapped type.

Methods inherited from interface org.deri.iris.api.terms.ITerm

isGround

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

getValue

String getValue()

Return the wrapped type.

Specified by:

getValue in interface ITerm

Returns:

The term value.