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