Package | Description |
---|---|
net.sf.tweety.logics.translators.aspfol | |
net.sf.tweety.logics.translators.aspnlp | |
net.sf.tweety.lp.asp.parser | |
net.sf.tweety.lp.asp.syntax |
Modifier and Type | Method and Description |
---|---|
DLPElement |
AspFolTranslator.toASP(FolFormula source) |
Modifier and Type | Method and Description |
---|---|
private void |
AspNlpTranslator.bodiesFromDisjunction(Disjunction source,
java.util.List<java.util.List<DLPElement>> bodies)
Helper method:
|
private void |
AspNlpTranslator.bodiesFromFormula(FolFormula source,
java.util.List<java.util.List<DLPElement>> bodies)
Helper method: Generates a list of possible bodies for the given FOL-Formula.
|
Modifier and Type | Method and Description |
---|---|
DLPElement |
InstantiateVisitor.visit(ASTDefAtom node,
java.lang.Object data) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DLPElement> |
InstantiateVisitor.visit(ASTElementLst node,
java.lang.Object data) |
Modifier and Type | Interface and Description |
---|---|
interface |
DLPLiteral
This interface defines common functionality for an ELP literal.
|
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 | Field and Description |
---|---|
(package private) java.util.List<DLPElement> |
Rule.body |
protected java.util.Set<DLPElement> |
SymbolicSet.conjunctions |
Modifier and Type | Method and Description |
---|---|
abstract DLPElement |
DLPElementAdapter.clone() |
DLPElement |
DLPElement.clone() |
DLPElement |
DLPElement.substitute(Term<?> t,
Term<?> v) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DLPElement> |
SymbolicSet.getConjunction() |
java.util.Collection<DLPElement> |
Rule.getPremise() |
Modifier and Type | Method and Description |
---|---|
void |
Rule.addPremise(DLPElement premise) |
Modifier and Type | Method and Description |
---|---|
void |
Rule.addPremises(java.util.Collection<? extends DLPElement> premises) |
Constructor and Description |
---|
Rule(DLPLiteral head,
DLPElement body) |
Constructor and Description |
---|
Rule(DLPLiteral head,
java.util.List<DLPElement> litsBody) |
Rule(java.util.List<DLPLiteral> litsHead,
java.util.List<DLPElement> litsBody) |
SymbolicSet(java.util.Collection<Variable> variables,
java.util.Collection<DLPElement> literals) |