Uses of Interface
net.sf.tweety.lp.asp.syntax.DLPElement

Packages that use DLPElement

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

Uses of DLPElement in net.sf.tweety.logics.translators.aspfol

Methods in net.sf.tweety.logics.translators.aspfol that return DLPElement

Modifier and Type	Method and Description
DLPElement	AspFolTranslator.toASP(FolFormula source)

Uses of DLPElement in net.sf.tweety.logics.translators.aspnlp

Method parameters in net.sf.tweety.logics.translators.aspnlp with type arguments of type DLPElement

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.

Uses of DLPElement in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return DLPElement

Modifier and Type	Method and Description
DLPElement	InstantiateVisitor.visit(ASTDefAtom node, java.lang.Object data)

Methods in net.sf.tweety.lp.asp.parser that return types with arguments of type DLPElement

Modifier and Type	Method and Description
java.util.Set<DLPElement>	InstantiateVisitor.visit(ASTElementLst node, java.lang.Object data)

Uses of DLPElement in net.sf.tweety.lp.asp.syntax

Subinterfaces of DLPElement in net.sf.tweety.lp.asp.syntax

Modifier and Type	Interface and Description
interface	DLPLiteral This interface defines common functionality for an ELP literal.

Classes in net.sf.tweety.lp.asp.syntax that implement DLPElement

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.

Fields in net.sf.tweety.lp.asp.syntax with type parameters of type DLPElement

Modifier and Type	Field and Description
(package private) java.util.List<DLPElement>	Rule.body
protected java.util.Set<DLPElement>	SymbolicSet.conjunctions

Methods in net.sf.tweety.lp.asp.syntax that return DLPElement

Modifier and Type	Method and Description
abstract DLPElement	DLPElementAdapter.clone()
DLPElement	DLPElement.clone()
DLPElement	DLPElement.substitute(Term<?> t, Term<?> v)

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type DLPElement

Modifier and Type	Method and Description
java.util.Set<DLPElement>	SymbolicSet.getConjunction()
java.util.Collection<DLPElement>	Rule.getPremise()

Methods in net.sf.tweety.lp.asp.syntax with parameters of type DLPElement

Modifier and Type	Method and Description
void	Rule.addPremise(DLPElement premise)

Method parameters in net.sf.tweety.lp.asp.syntax with type arguments of type DLPElement

Modifier and Type	Method and Description
void	Rule.addPremises(java.util.Collection<? extends DLPElement> premises)

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type DLPElement

Constructor and Description
Rule(DLPLiteral head, DLPElement body)

Constructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type DLPElement

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)