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
|
class |
TypedStructureAdapter
The abstract parent for predicates and functors implementing the
TypedStructure interface.
|
Modifier and Type | Method and Description |
---|---|
abstract TypedStructure |
TypedStructureAdapter.clone() |
Modifier and Type | Method and Description |
---|---|
TypedStructure |
TypedStructure.clone()
Creates a deep copy of this object
|
Modifier and Type | Method and Description |
---|---|
TypedStructure |
FolParserB.endFunctorDeclar(FolSignature signature,
java.lang.String sortName) |
TypedStructure |
FolParserB.endPredicateDeclar(FolSignature signature,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
private Sort |
FolParserB.getArgumentType(TypedStructure fbs,
int count) |
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.
|