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

Constructors

Constructor and Description
StringConstant(String src)

Method Summary

Modifier and Type	Method and Description
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