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