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
a logic language.
|
Constructor and Description |
---|
StringTerm(StringTerm other)
Copy-Ctor: Creates a deep copy of the StringTerm
|