Uses of Class
net.sf.tweety.lp.asp.parser.ASTHead

Packages that use ASTHead

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

Uses of ASTHead in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return ASTHead

Modifier and Type	Method and Description
ASTHead	ASPParser.Head()

Methods in net.sf.tweety.lp.asp.parser with parameters of type ASTHead

Modifier and Type	Method and Description
java.util.Set<DLPLiteral>	InstantiateVisitor.visit(ASTHead node, java.lang.Object data)
java.lang.Object	ASPParserVisitor.visit(ASTHead node, java.lang.Object data)