Uses of Class
net.sf.tweety.lp.asp.syntax.ASPHead

Packages that use ASPHead

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

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

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

Modifier and Type	Method and Description
ASPHead	InstantiateVisitor.visit(ASTHead node, Object data)

Uses of ASPHead in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax that return ASPHead

Modifier and Type	Method and Description
ASPHead	ASPHead.clone()
ASPHead	ASPHead.createEmptyFormula()
ASPHead	ASPHead.exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
ASPHead	ASPRule.getConclusion()
ASPHead	ASPRule.getHead()
ASPHead	ASPHead.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
ASPHead	ASPHead.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)

Methods in net.sf.tweety.lp.asp.syntax with parameters of type ASPHead

Modifier and Type	Method and Description
void	Program.addFact(ASPHead fact)
void	ASPRule.setConclusion(ASPHead conclusion)
void	ASPRule.setHead(ASPHead head)

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type ASPHead

Constructor and Description
ASPHead(ASPHead other) Copy-Constructor
ASPRule(ASPHead head) Creates a fact with the given ASPHead.
ASPRule(ASPHead head, List<ASPBodyElement> body) Creates a rule with the given head and body.