Uses of Class
org.tweetyproject.lp.asp.syntax.ChoiceElement
-
Uses of ChoiceElement in org.tweetyproject.lp.asp.parser
Modifier and TypeMethodDescriptionInstantiateVisitor.visit(ASTChoiceElementList node, Object data)
-
Uses of ChoiceElement in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionChoiceElement.clone()
ChoiceElement.substitute(Term<?> t, Term<?> v)
Modifier and TypeMethodDescriptionvoid
ChoiceHead.setElements(List<ChoiceElement> elements)
Set the choice elements of this choice atom.ModifierConstructorDescriptionChoiceHead(ChoiceElement e, ASPOperator.BinaryOperator rightOp, Term<?> rightTerm)
ModifierConstructorDescriptionChoiceHead(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)