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

Packages that use ASPBodyElement

Package	Description
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.syntax

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 and Description
ASPBodyElement	InstantiateVisitor.visit(ASTNAFLiteral node, Object data)

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

Modifier and Type	Method and Description
List<ASPBodyElement>	InstantiateVisitor.visit(ASTBodyList node, Object data)
List<ASPBodyElement>	InstantiateVisitor.visit(ASTBody node, Object data)
List<ASPBodyElement>	InstantiateVisitor.visit(ASTNAFLiteralList node, 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 and 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).

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

Modifier and Type	Method and Description
ASPBodyElement	ComparativeAtom.clone()
ASPBodyElement	DefaultNegation.getLiteral()
abstract ASPBodyElement	ASPBodyElement.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)
ASPBodyElement	DefaultNegation.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)

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

Modifier and Type	Method and Description
List<ASPBodyElement>	ASPRule.getBody()
List<ASPBodyElement>	ASPRule.getPremise()
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 and 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 and Description
void	ASPRule.addPremises(Collection<? extends ASPBodyElement> premises)
void	ASPRule.setBody(List<ASPBodyElement> body)

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

Constructor and 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 and Description
AggregateElement(List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> l, List<ASPBodyElement> r) Creates a new Aggregate Element with the given list of terms and the given list of naf literals.
ASPRule(ASPHead head, List<ASPBodyElement> body) Creates a rule with the given head and body.
ASPRule(ASPLiteral head, List<ASPBodyElement> body) Creates a rule with the given head and body.
ASPRule(List<ASPBodyElement> body) Creates a constraint with the given body.
ASPRule(List<ASPBodyElement> nafliterals, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> weight, List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms) Creates a constraint with the given weight and terms.
ASPRule(List<ASPBodyElement> body, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> weight, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> level, List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> terms) Creates a constraint with the given weight, level and terms.