org.dllearner.prolog
Class PrologConstant

java.lang.Object
  org.dllearner.prolog.Term
      org.dllearner.prolog.Constant
          org.dllearner.prolog.PrologConstant

All Implemented Interfaces:

Cloneable

public class PrologConstant
extends Constant

Author:

Sebastian Bader

Constructor Summary

PrologConstant(String name)

Method Summary

Object	clone()
boolean	equals(Object obj)
Term	getInstance(Variable variable, Term term)
String	getName()
int	hashCode()
boolean	isGround()
void	setName(String name)
String	toPLString()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PrologConstant

public PrologConstant(String name)

Method Detail

getName

public String getName()

setName

public void setName(String name)

isGround

public boolean isGround()

Specified by:

isGround in class Term

Returns:

Returns true iff this term is ground

toString

public String toString()

Specified by:

toString in class Term

toPLString

public String toPLString()

Specified by:

toPLString in class Term

getInstance

public Term getInstance(Variable variable,
                        Term term)

Specified by:

getInstance in class 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 boolean equals(Object obj)

Specified by:

equals in class Term

hashCode

public int hashCode()

Specified by:

hashCode in class Term

clone

public Object clone()

Specified by:

clone in class Term