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.
