Uses of Class
org.tweetyproject.lp.asp.syntax.ASPBodyElement

Packages that use ASPBodyElement

Package	Description
org.tweetyproject.lp.asp.parser
org.tweetyproject.lp.asp.syntax

Uses of ASPBodyElement in org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.lp.asp.parser that return ASPBodyElement

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

Methods in org.tweetyproject.lp.asp.parser that return types with arguments of type ASPBodyElement

Modifier and Type	Method	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 org.tweetyproject.lp.asp.syntax

Subclasses of ASPBodyElement in org.tweetyproject.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 class 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	OptimizationStatement	This class represents an optimization statement.
class	StrictNegation	This class models the strict negation of an atom (as opposed to a default negation: DefaultNegation).

Methods in org.tweetyproject.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 org.tweetyproject.lp.asp.syntax that return types with arguments of type ASPBodyElement

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

Methods in org.tweetyproject.lp.asp.syntax with parameters of type ASPBodyElement

Modifier and Type	Method	Description
void	ASPRule.addBody(ASPBodyElement premise)	Add the given body element to this rule.
void	ASPRule.addPremise(ASPBodyElement premise)
void	ASPRule.setBody(ASPBodyElement... aspBodyElements)	Set this rule's body to the given ASPBodyElements.
void	DefaultNegation.setLiteral(ASPBodyElement literal)	Set the default negated literal.

Method parameters in org.tweetyproject.lp.asp.syntax with type arguments of type ASPBodyElement

Modifier and Type	Method	Description
void	ASPRule.addBodyElements(Collection<? extends ASPBodyElement> premises)	Add the given body elements to this rule.
void	ASPRule.addPremises(Collection<? extends ASPBodyElement> premises)
void	OptimizationElement.setOptLiterals(List<ASPBodyElement> literals)	Sets the literals tuple of this optimization element.
void	AggregateElement.setRight(List<ASPBodyElement> literals)	Sets the literal tuple of this aggregate element.

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPBodyElement

Modifier	Constructor	Description
	AggregateElement(Term<?> term, ASPBodyElement literal)	Creates a new Aggregate Element with the given single term and the given single literal.
	AggregateElement(Term<?> term, ASPBodyElement... literals)	Creates a new Aggregate Element with the given single term and the given naf literals.
	ASPRule(ASPHead head, ASPBodyElement b)	Creates a rule with the given head and a single-element body.
	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.
	OptimizationElement(Term<?> weight, Term<?> term, ASPBodyElement literal)	Creates a new optimization element with the given single weight, term and literal.
	OptimizationElement(Term<?> term, ASPBodyElement literal)	Creates a new optimization element with the given single term and literal.

Constructor parameters in org.tweetyproject.lp.asp.syntax with type arguments of type ASPBodyElement

Modifier	Constructor	Description
	AggregateAtom(List<ASPBodyElement> literals, int leftBound, int rightBound)	Creates a new cardinality rule, meaning an aggregate of the form "leftBound <= #count { elements } <= rightBound" with the given literals and the given integer bounds.
	AggregateElement(Term<?> term, List<ASPBodyElement> literals)	Creates a new Aggregate Element with the given single term and the given list of naf literals.
	AggregateHead(List<ASPBodyElement> literals, int leftBound, int rightBound)	Creates a new cardinality rule head.
	ASPRule(List<ASPBodyElement> body)	Creates a constraint with the given body.
	ASPRule(List<ASPBodyElement> nafliterals, Term<?> weight, List<Term<?>> terms)	Creates a weak constraint with the given weight and terms.
	ASPRule(List<ASPBodyElement> body, Term<?> weight, Term<?> level, List<Term<?>> terms)	Creates a weak constraint with the given weight, level (priority) and terms.
	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.
	ChoiceElement(ASPLiteral atom, List<ASPBodyElement> elements)	Create a new choice element with the given atom and list of literals.