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.
-