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

Packages that use ChoiceElement

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

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

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

Modifier and Type	Method	Description
ChoiceElement	InstantiateVisitor.visit(ASTChoiceElement node, Object data)

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

Modifier and Type	Method	Description
List<ChoiceElement>	InstantiateVisitor.visit(ASTChoiceElementList node, Object data)

Uses of ChoiceElement in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.lp.asp.syntax that return ChoiceElement

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

Methods in org.tweetyproject.lp.asp.syntax that return types with arguments of type ChoiceElement

Modifier and Type	Method	Description
List<ChoiceElement>	ChoiceHead.getElements()	Return the choice elements of this choice atom

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

Modifier and Type	Method	Description
void	ChoiceHead.setElements(List<ChoiceElement> elements)	Set the choice elements of this choice atom.

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

Modifier	Constructor	Description
	ChoiceHead(ChoiceElement e)
	ChoiceHead(ChoiceElement e, ASPOperator.BinaryOperator rightOp, Term<?> rightTerm)

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

Modifier	Constructor	Description
	ChoiceHead(List<ChoiceElement> elements)
	ChoiceHead(List<ChoiceElement> elements, ASPOperator.BinaryOperator rightOp, Term<?> rightTerm)
	ChoiceHead(List<ChoiceElement> elements, ASPOperator.BinaryOperator leftOp, Term<?> leftTerm, ASPOperator.BinaryOperator rightOp, Term<?> rightTerm)