| 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 acts as abstract base class for classes 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 |
A predicate has a name and an 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.
|