class |
AggregateAtom |
This class represents an aggregate.
|
class |
AggregateElement |
This class models an aggregate element, meaning a set of terms and a set of
naf literals (= literals or default negated literals).
|
class |
ASPAtom |
This class models an atom, which is a basic structure for building literals
and rules for logic programs.
|
class |
ASPBodyElement |
This class is a common base class for ASP formulas
that can be part of an ASP rule body (premise of a rule):
Literals (i.e.
|
class |
ASPHead |
This formula represents the head of an disjunctive rule which is a
disjunction of literals.
|
class |
ASPLiteral |
This interface defines common functionality for literals,
meaning atoms or strictly negated atoms.
|
class |
ASPRule |
This class models a rule in ASP.
|
class |
ComparativeAtom |
This class represents a comparative atom, meaning an expression of the form t x u
where t,u are terms and x is in {<, <=, ==, !=, >, >=}.
|
class |
DefaultNegation |
This class represents a default negated literal, i.e.
|
class |
StrictNegation |
This class models the strict negation of an
atom (as apposed to a NAF negation:
DefaultNegation). |