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 acts as abstract base class for classes 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.
|