Uses of Class
net.sf.tweety.lp.asp.syntax.ASPBodyElement

Packages that use ASPBodyElement

Package	Description
net.sf.tweety.logics.translators.aspnlp
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.syntax

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

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

Modifier and Type	Method	Description
private void	AspNlpTranslator.bodiesFromDisjunction(Disjunction source, java.util.List<java.util.List<ASPBodyElement>> bodies)	Helper method:
private void	AspNlpTranslator.bodiesFromFormula(FolFormula source, java.util.List<java.util.List<ASPBodyElement>> bodies)	Helper method: Generates a list of possible bodies for the given FOL-Formula.

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

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

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

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

Modifier and Type	Method	Description
java.util.List<ASPBodyElement>	InstantiateVisitor.visit(ASTBodyList node, java.lang.Object data)
java.util.List<ASPBodyElement>	InstantiateVisitor.visit(ASTBody node, java.lang.Object data)
java.util.List<ASPBodyElement>	InstantiateVisitor.visit(ASTNAFLiteralList node, java.lang.Object data)

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

Subclasses of ASPBodyElement in net.sf.tweety.lp.asp.syntax

Modifier and Type	Class	Description
class	AggregateAtom	This class represents an aggregate.
class	ASPAtom	This class models an atom, which is a basic structure for building literals and rules for logic programs.
class	ASPLiteral	This interface defines common functionality for literals, meaning atoms or strictly negated atoms.
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	StrictNegation	This class models the strict negation of an atom (as apposed to a NAF negation: DefaultNegation).

Fields in net.sf.tweety.lp.asp.syntax declared as ASPBodyElement

Modifier and Type	Field	Description
private ASPBodyElement	DefaultNegation.literal	The default negated element.

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

Modifier and Type	Field	Description
private java.util.List<ASPBodyElement>	ASPRule.body	The body (premise) of a rule.
private java.util.List<ASPBodyElement>	AggregateElement.right	The literal tuple of this aggregate element.

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

Modifier and Type	Method	Description
ASPBodyElement	ComparativeAtom.clone()
ASPBodyElement	DefaultNegation.getLiteral()
abstract ASPBodyElement	ASPBodyElement.substitute(Term<?> t, Term<?> v)
ASPBodyElement	DefaultNegation.substitute(Term<?> t, Term<?> v)

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

Modifier and Type	Method	Description
java.util.List<ASPBodyElement>	ASPRule.getBody()
java.util.List<ASPBodyElement>	ASPRule.getPremise()
java.util.List<ASPBodyElement>	AggregateElement.getRight()	Returns the right part of the Aggregate element.

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

Modifier and Type	Method	Description
void	ASPRule.addPremise(ASPBodyElement premise)
void	DefaultNegation.setLiteral(ASPBodyElement literal)

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

Modifier and Type	Method	Description
void	ASPRule.addPremises(java.util.Collection<? extends ASPBodyElement> premises)
void	ASPRule.setBody(java.util.List<ASPBodyElement> body)

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

Constructor	Description
ASPRule(ASPLiteral head, ASPBodyElement b)	Creates a rule with the given head and a single-element body.
DefaultNegation(ASPBodyElement at)	Creates new default negation with the given literal.

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

Constructor	Description
ASPRule(java.util.List<ASPBodyElement> body)	Creates a constraint with the given body.
ASPRule(java.util.List<ASPBodyElement> nafliterals, Term<?> weight, java.util.List<Term<?>> terms)	Creates a constraint with the given weight and terms.
ASPRule(java.util.List<ASPBodyElement> body, Term<?> weight, Term<?> level, java.util.List<Term<?>> terms)	Creates a constraint with the given weight, level and terms.
ASPRule(ASPHead head, java.util.List<ASPBodyElement> body)	Creates a rule with the given head and body.
ASPRule(ASPLiteral head, java.util.List<ASPBodyElement> body)	Creates a rule with the given head and body.