Package | Description |
---|---|
net.sf.tweety.logics.commons.syntax | |
net.sf.tweety.lp.asp.syntax | |
net.sf.tweety.lp.nlp.syntax |
Modifier and Type | Class and Description |
---|---|
class |
AssociativeFormulaSupport<T extends SimpleLogicalFormula>
This class provides common implementation for associative formulas
that are formulas which consists of several other formulas.
|
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 |
DLPElementAdapter
This class acts as an abstract base class for classes that implement
the ELPElement interface.
|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
NLPRule
A rule of a nested logic program.
|