Class and Description |
---|
DLPLiteral
This interface defines common functionality for an ELP literal.
|
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.
|
Class and Description |
---|
DLPLiteral
This interface defines common functionality for an ELP literal.
|
Rule
This class models a rule for a disjunctive logic program.
|
Class and Description |
---|
DLPAtom
this class models an atom, which is a basic structure for
building literals and rules for logic programs
|
DLPNeg
This class models strict negation for atoms.
|
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.
|
Class and Description |
---|
DLPAtom
this class models an atom, which is a basic structure for
building literals and rules for logic programs
|
DLPElement
This interface defines base methods every element of a
program has to provide.
|
DLPHead
This formula represents the head of an disjunctive rule which is a
disjunction of ELP literals.
|
DLPLiteral
This interface defines common functionality for an ELP literal.
|
DLPNeg
This class models strict negation for atoms.
|
Class and Description |
---|
DLPElement
This interface defines base methods every element of a
program has to provide.
|
DLPHead
This formula represents the head of an disjunctive rule which is a
disjunction of ELP literals.
|
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.
|
Class and Description |
---|
DLPLiteral
This interface defines common functionality for an ELP literal.
|
Program
this class models an disjunctive logical program, which is
a collection of rules.
|
Class and Description |
---|
DLPAtom
this class models an atom, which is a basic structure for
building literals and rules for logic programs
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
DLPLiteral
This interface defines common functionality for an ELP literal.
|
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.
|
Class and Description |
---|
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.
|
Class and 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.
|
DLPElement
This interface defines base methods every element of a
program has to provide.
|
DLPLiteral
This interface defines common functionality for an ELP literal.
|
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.
|
Class and Description |
---|
Program
this class models an disjunctive logical program, which is
a collection of rules.
|
Class and 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.
|
DLPAtom
this class models an atom, which is a basic structure for
building literals and rules for logic programs
|
DLPElement
This interface defines base methods every element of a
program has to provide.
|
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.
|
DLPLiteral
This interface defines common functionality for an ELP literal.
|
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.
|
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.
|
Class and Description |
---|
DLPLiteral
This interface defines common functionality for an ELP literal.
|