Package | Description |
---|---|
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Class and Description |
---|---|
class |
Aggregate
This class represents an aggregate function.
|
class |
Arithmetic
This class implements the Arithmetic semantic given
by the DLV Manual.
|
class |
Comparative
This class implements comparative predicates as described in
the DLV manual.
|
class |
DLPAtom
This class models an atom, which is a basic structure for
building literals and rules for logic programs.
|
class |
DLPHead
This formula represents the head of an disjunctive rule which is a
disjunction of ELP literals.
|
class |
DLPNeg
This class models strict negation for atoms.
|
class |
DLPNot
This class models a default negated literal.
|
class |
Rule
This class models a rule for a disjunctive logic program.
|