| Package | Description | 
|---|---|
| net.sf.tweety.logics.commons.syntax | 
| Modifier and Type | Class and 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
 an logic language. 
 | 
| Constructor and Description | 
|---|
StringTerm(StringTerm other)
Copy-Ctor: Creates a deep copy of the StringTerm 
 |