Uses of Class
org.tweetyproject.logics.commons.syntax.StringTerm

Packages that use StringTerm

Package	Description
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.dl.syntax

Uses of StringTerm in org.tweetyproject.logics.commons.syntax

Subclasses of StringTerm in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.dl.syntax

Subclasses of StringTerm in org.tweetyproject.logics.dl.syntax

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