This interface defines base methods every element of a program has to provide.
This interface defines common functionality for an ELP literal.
this class represents an aggregate function.
This class implements the Arithmetic semantic given by the DLV Manual.
This class implements comparative predicates as described in the DLV manual.
this class models an atom, which is a basic structure for building literals and rules for logic programs
This acts as abstract base class for classes implement the ELPElement interface
This formula represents the head of an disjunctive rule which is a disjunction of ELP literals.
This class models strict negation for atoms.
this class models a default negated literal.
A predicate has a name and an arity.
this class models a list term that can be used for dlv complex programs.
Encapsulates the possible values for a dlv complex list.
this class models an disjunctive logical program, which is a collection of rules.
This class models a rule for a disjunctive logic program.
this class models a set term, which can be used for sets in dlv complex programs.
This class is used to store symbolic sets of aggregate functions of dlv rules.