org.dllearner.prolog
Class StringConstant

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

All Implemented Interfaces:

Cloneable

public class StringConstant
extends Constant

Author:

Sebastian Bader

Constructor Summary

StringConstant(String src)

Method Summary

Object	clone()
boolean	equals(Object obj)
Term	getInstance(Variable variable, Term term)
String	getString()
int	hashCode()
boolean	isGround()
String	toPLString()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

StringConstant

public StringConstant(String src)

Method Detail

getString

public String getString()

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