Package | Description |
---|---|
net.sf.tweety.action.signature | |
net.sf.tweety.logics.commons.syntax | |
net.sf.tweety.logics.pl.syntax | |
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Class and Description |
---|---|
class |
FolActionName
This class represents an action name.
|
class |
FolFluentName
This class represents a fluent name.
|
Modifier and Type | Class and Description |
---|---|
class |
Concept
This class models concepts used in description logics
|
class |
Functor
A functor for logic language, i.e.
|
class |
Predicate
A general predicate which contains an identifier that describes its meaning,
an argument count referred as arity and a list of sorts defining the types for
the arguments of the predicate.
|
class |
Role
This class implements a role used in description logics
Every role is an predicate consisting of two individuals
|
Modifier and Type | Method and Description |
---|---|
int |
TypedStructureAdapter.compareTo(TypedStructureAdapter o) |
Modifier and Type | Class and Description |
---|---|
class |
PropositionalPredicate
A specialized predicate for propositional logic that only allows an identifier
but has no arguments and therefore has an arity of zero.
|
Modifier and Type | Class and Description |
---|---|
class |
DLPPredicate
A predicate has a name and an arity.
|