net.sf.tweety.logics.commons.syntax

Class StringTerm

java.lang.Object

net.sf.tweety.logics.commons.syntax.TermAdapter<String>

net.sf.tweety.logics.commons.syntax.StringTerm

All Implemented Interfaces:

LogicStructure, Term<String>

Direct Known Subclasses:

Constant, Variable

public abstract class StringTerm
extends TermAdapter<String>

This class represents terms which are objects identified by a string. Subclasses are Variable and Constant.

Author:

Tim Janus, Thomas Vengels

Field Summary

Fields

Modifier and Type	Field and Description
protected String	value the value of the term

Constructor Summary

Constructors

Constructor and Description
StringTerm(String value) Ctor: Creates a string term with the given String as value, uses the Sort "Thing"
StringTerm(String value, Sort sort) Ctor: Create a string term with the given value and sort.
StringTerm(StringTerm other) Copy-Ctor: Creates a deep copy of the StringTerm

Method Summary

Modifier and Type	Method and Description
String	get()
abstract void	set(String value) Changes the java-object representation of the term to the given value.
String	toString()

Methods inherited from class net.sf.tweety.logics.commons.syntax.TermAdapter

clone, containsTermsOfType, equals, getSort, getTerms, getTerms, hashCode, substitute

Methods inherited from class java.lang.Object

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

Field Detail

value

protected String value

the value of the term

Constructor Detail

StringTerm

public StringTerm(String value)

Ctor: Creates a string term with the given String as value, uses the Sort "Thing"

Parameters:

value - The value for the string term.

StringTerm

public StringTerm(String value,
                  Sort sort)

Ctor: Create a string term with the given value and sort.

Parameters:

value - The value of for the string term.

sort - The sort representing the type of the StringTerm.

StringTerm

public StringTerm(StringTerm other)

Copy-Ctor: Creates a deep copy of the StringTerm

Parameters:

other - The StringTerm that acts as source for the copy

Method Detail

set

public abstract void set(String value)

Description copied from interface: Term

Changes the java-object representation of the term to the given value.

Specified by:

set in interface Term<String>

Overrides:

set in class TermAdapter<String>

Parameters:

value - The new java-object representation of the term.

get

public String get()

Specified by:

get in interface Term<String>

Overrides:

get in class TermAdapter<String>

Returns:

the java-object representation of the term.

toString

public String toString()

Overrides:

toString in class TermAdapter<String>