Uses of Class
net.sf.tweety.logics.commons.syntax.TermAdapter

Packages that use TermAdapter

Package	Description
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.dl.syntax
net.sf.tweety.lp.asp.syntax

Uses of TermAdapter in net.sf.tweety.logics.commons.syntax

Subclasses of TermAdapter in net.sf.tweety.logics.commons.syntax

Modifier and Type	Class	Description
class	Constant	A Constant represents an constant object in the world of a logical language.
class	FunctionalTerm	A functional term in a logic language, i.e.
class	NumberTerm	This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.
class	StringTerm	This class represents terms which are objects identified by a string.
class	Variable	A Variable is a placeholder for Constants in a generic formula of a logic language.

Methods in net.sf.tweety.logics.commons.syntax that return TermAdapter

Modifier and Type	Method	Description
abstract TermAdapter<?>	TermAdapter.clone()

Uses of TermAdapter in net.sf.tweety.logics.dl.syntax

Subclasses of TermAdapter in net.sf.tweety.logics.dl.syntax

Modifier and Type	Class	Description
class	Individual	This class models an individual in description logic, also known as an object.

Uses of TermAdapter in net.sf.tweety.lp.asp.syntax

Subclasses of TermAdapter in net.sf.tweety.lp.asp.syntax

Modifier and Type	Class	Description
class	ArithmeticTerm	This class represents an arithmetic term in the ASP-Core-2 format.

Methods in net.sf.tweety.lp.asp.syntax that return TermAdapter

Modifier and Type	Method	Description
TermAdapter<?>	ArithmeticTerm.clone()