| 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 |
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() |
Copyright © 2018. All rights reserved.