| Interface | Description |
|---|---|
| DLPElement |
This interface defines base methods every element of a
program has to provide.
|
| DLPLiteral |
This interface defines common functionality for an ELP literal.
|
| Class | Description |
|---|---|
| Aggregate |
This class represents an aggregate function.
|
| Arithmetic |
This class implements the Arithmetic semantic given
by the DLV Manual.
|
| Comparative |
This class implements comparative predicates as described in
the DLV manual.
|
| DefaultificationTest | |
| DLPAtom |
This class models an atom, which is a basic structure for
building literals and rules for logic programs.
|
| DLPElementAdapter |
This class acts as an abstract base class for classes that implement
the ELPElement interface.
|
| DLPHead |
This formula represents the head of an disjunctive rule which is a
disjunction of ELP literals.
|
| DLPNeg |
This class models strict negation for atoms.
|
| DLPNot |
This class models a default negated literal.
|
| DLPPredicate |
This class models a predicate with its name and arity.
|
| EqualsTester | |
| ListTerm |
This class models a list term that can be used for
DLV complex programs.
|
| ListTermValue |
Encapsulates the possible values for a DLV complex
list.
|
| Program |
This class models an disjunctive logical program, which is
a collection of rules.
|
| Rule |
This class models a rule for a disjunctive logic program.
|
| SetTerm |
This class models a set term, which can be used
for sets in DLV complex programs.
|
| SymbolicSet |
This class is used to store symbolic sets of aggregate functions
of DLV rules.
|