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

Packages that use StringTerm

Package	Description
net.sf.tweety.logics.commons.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