Package | Description |
---|---|
net.sf.tweety.logics.commons.syntax | |
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Class and 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.
|
Modifier and Type | Method and Description |
---|---|
abstract TermAdapter<?> |
TermAdapter.clone() |
Modifier and Type | Class and Description |
---|---|
class |
ListTerm
This class models a list term that can be used for
DLV complex programs.
|
class |
SetTerm
This class models a set term, which can be used
for sets in DLV complex programs.
|