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 |
AggregateHead |
This class is a variant of the basic ASP rule head.
|
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 class is a common base class for ASP formulas
that can be part of an ASP rule head.
|
class |
ASPLiteral |
This class defines common functionality for literals,
meaning atoms or strictly negated atoms.
|
class |
ASPRule |
This class models a rule in ASP.
|
class |
ClassicalHead |
This formula represents the head of an disjunctive rule which is a
disjunction of literals.
|
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 |
OptimizationElement |
This class represents an element of an optimization statement, meaning
a term-literal tuple that is associated with a weight and optionally
a priority (level).
|
class |
OptimizationStatement |
This class represents an optimization statement.
|
class |
StrictNegation |
This class models the strict negation of an atom (as opposed to a default
negation: DefaultNegation ).
|