|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
ELPLiteral | this interface models a logical literal used in extended logic programs. |
Class Summary | |
---|---|
AggregatePredicate | private class to model aggregate predicates like "#times", "#max", etc |
Alphabet | this class models an alphabet, the set of all predicate symbols appearing in an extended logic program. |
ArithmeticPredicate | private class to model arithmetic expressions like "A = B + C". |
ELP | this class models an extended logic program. it consists of a set of rules (and fact and constraints). |
ELPAtom | this class models an atom, a common element for building literals and rules in extended logic programs. |
ELPRule | this class models a rule used in extended logics programs. |
IntPredicate | private class to model special build-in dlv predicates like #int |
KCausationRule | |
KDeclaration | This class models declarations used within a K-program, which are the fluent and the action declarations. |
KExCondition | Models K Executability Conditions |
KProgram | This class models a K-program which is needed as an input for the DLV-Component for planning. |
KRule | |
Meta | meta information class. meta informations provide an order over extended logic programs. |
NegLiteral | class for strict negated literals |
NotLiteral | class for default negated literals |
RelationPredicate | private class to model arithmetic expressions like "A > B". |
SymbolicSet | this class represents a symbolic set, which is a set of local variables over a set of literals. |
logic package
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |