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

Packages that use ChoiceHead

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

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

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

Modifier and Type	Method	Description
ChoiceHead	InstantiateVisitor.visit(ASTChoice node, Object data)

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

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

Modifier and Type	Method	Description
ChoiceHead	ChoiceHead.clone()