Uses of Class
net.sf.tweety.logics.commons.syntax.TermAdapter
-
Packages that use TermAdapter Package Description net.sf.tweety.logics.commons.syntax net.sf.tweety.logics.dl.syntax net.sf.tweety.lp.asp.syntax -
-
Uses of TermAdapter in net.sf.tweety.logics.commons.syntax
Subclasses of TermAdapter 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
FunctionalTerm
A functional term in a logic language, i.e.class
NumberTerm
This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.class
StringTerm
This class represents terms which are objects identified by a string.class
Variable
A Variable is a placeholder for Constants in a generic formula of a logic language.Methods in net.sf.tweety.logics.commons.syntax that return TermAdapter Modifier and Type Method Description abstract TermAdapter<?>
TermAdapter. clone()
-
Uses of TermAdapter in net.sf.tweety.logics.dl.syntax
Subclasses of TermAdapter 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. -
Uses of TermAdapter in net.sf.tweety.lp.asp.syntax
Subclasses of TermAdapter in net.sf.tweety.lp.asp.syntax Modifier and Type Class Description class
ArithmeticTerm
This class represents an arithmetic term in the ASP-Core-2 format.Methods in net.sf.tweety.lp.asp.syntax that return TermAdapter Modifier and Type Method Description TermAdapter<?>
ArithmeticTerm. clone()
-