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

Packages that use StringTerm

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

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

Subclasses of StringTerm 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	Variable	A Variable is a placeholder for Constants in a generic formula of a logic language.

Constructors in net.sf.tweety.logics.commons.syntax with parameters of type StringTerm

Constructor	Description
StringTerm(StringTerm other)	Copy-Ctor: Creates a deep copy of the StringTerm

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

Subclasses of StringTerm 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.