Package org.tweetyproject.logics.commons.syntax.interfaces

Interface Term<T>

Type Parameters:

T - the type of values

All Superinterfaces:

LogicStructure

All Known Implementing Classes:

ArithmeticTerm, Constant, FunctionalTerm, Individual, NumberTerm, StringTerm, TermAdapter, Variable

public interface Term<T>
extends LogicStructure

A term of a logical language, that can be given as argument for logical constructs like atoms or functors. A term can have a Sort which gives it a types, the default Sort which is also used by untyped languages is "Thing".

Author:

Matthias Thimm, Tim Janus

Method Summary

Modifier and Type	Method	Description
Term<?>	clone()	Creates a deep copy of the term
T	get()
Sort	getSort()
void	set(T value)	Changes the java-object representation of the term to the given value.
Term<?>	substitute(Term<?> v, Term<?> t)	Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.LogicStructure

containsTermsOfType, getTerms, getTerms

Method Details

set

void set(T value)

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

Parameters:

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

get

T get()

Returns:

the java-object representation of the term.

substitute

Term<?> substitute(Term<?> v,
 Term<?> t)
            throws IllegalArgumentException

Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.

Parameters:

v - the term to be substituted.

t - the term to substitute.

Returns:

a term where every occurrence of "v" is replaced by "t".

Throws:

IllegalArgumentException - if "v" and "t" are of different sorts (NOTE: this exception is only thrown when "v" actually appears in this formula)

getSort

Sort getSort()

Returns:

the sort (type) of this term.

clone

Term<?> clone()

Creates a deep copy of the term

Returns:

the clone