org.dllearner.prolog

Class Term

java.lang.Object

org.dllearner.prolog.Term

All Implemented Interfaces:

Cloneable

Direct Known Subclasses:

Constant, Function, List, Variable

public abstract class Term
extends Object
implements Cloneable

Author:

Sebastian Bader

Constructor Summary

Constructors

Constructor and Description
Term()

Method Summary

Modifier and Type	Method and Description
abstract Object	clone()
abstract boolean	equals(Object obj)
abstract Term	getInstance(Variable variable, Term term)
abstract int	hashCode()
abstract boolean	isGround()
abstract String	toPLString()
abstract String	toString()

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Term

public Term()

Method Detail

isGround

public abstract boolean isGround()

Returns:

Returns true iff this term is ground

getInstance

public abstract Term getInstance(Variable variable,
                                 Term term)

Parameters:

variable - Substitution variable.

term - A term.

Returns:

Returns a new instance of this term, where the variable is replaced by the term.

equals

public abstract boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public abstract int hashCode()

Overrides:

hashCode in class Object

clone

public abstract Object clone()

Overrides:

clone in class Object

toString

public abstract String toString()

Overrides:

toString in class Object

toPLString

public abstract String toPLString()