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