Package org.tweetyproject.logics.commons.syntax

Class Variable

java.lang.Object

org.tweetyproject.logics.commons.syntax.TermAdapter<String>

org.tweetyproject.logics.commons.syntax.StringTerm

org.tweetyproject.logics.commons.syntax.Variable

All Implemented Interfaces:

LogicStructure, Term<String>

public class Variable
extends StringTerm

A Variable is a placeholder for Constants in a generic formula of a logic language. For example, wife_of(X,Y) represents all wifes X and their specific husbands Y using the two Variables X,Y. It is implemented as a specialized StringTerm which only allows names which have an upper-case character as first letter.

Author:

Tim Janus, Anna Gessler

Constructor Summary

Constructors

Constructor	Description
Variable(String name)	Ctor: Creates a new Variable with the given name and the default Sort "Thing".
Variable(String name, Sort sort)	Ctor: Creates a new Variable with the given name and sort.
Variable(Variable other)	Copy-Ctor: Creates a deep copy of the given Variable

Method Summary

Modifier and Type	Method	Description
Variable	clone()	Creates a deep copy of the term
void	set(String value)	Changes the java-object representation of the term to the given value.

Methods inherited from class org.tweetyproject.logics.commons.syntax.StringTerm

get, toString

Methods inherited from class org.tweetyproject.logics.commons.syntax.TermAdapter

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Variable

public Variable(String name)

Ctor: Creates a new Variable with the given name and the default Sort "Thing".

Parameters:

name - The name of the Variable has to start with an upper-case character.

Variable

public Variable(String name,
 Sort sort)

Ctor: Creates a new Variable with the given name and sort.

Parameters:

name - The name of the Variable has to start with an upper-case character.

sort - The Sort (type) of the Variable.

Variable

public Variable(Variable other)

Copy-Ctor: Creates a deep copy of the given Variable

Parameters:

other - The Variable that acts as source for the copy.

Method Details

set

public 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>

Specified by:

set in class StringTerm

Parameters:

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

clone

public Variable clone()

Description copied from interface: Term

Creates a deep copy of the term

Specified by:

clone in interface Term<String>

Specified by:

clone in class TermAdapter<String>

Returns:

the clone