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

Packages that use ASPHead

Package	Description
net.sf.tweety.logics.translators.aspfol
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.syntax

Uses of ASPHead in net.sf.tweety.logics.translators.aspfol

Methods in net.sf.tweety.logics.translators.aspfol that return ASPHead

Modifier and Type	Method	Description
ASPHead	AspFolTranslator.toASP(Disjunction source)

Methods in net.sf.tweety.logics.translators.aspfol with parameters of type ASPHead

Modifier and Type	Method	Description
Disjunction	AspFolTranslator.toFOL(ASPHead source)

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	Description
ASPHead	InstantiateVisitor.visit(ASTHead node, java.lang.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	Description
ASPHead	ASPHead.clone()
ASPHead	ASPHead.createEmptyFormula()
ASPHead	ASPHead.exchange(Term<?> v, Term<?> t)
ASPHead	ASPRule.getConclusion()
ASPHead	ASPRule.getHead()
ASPHead	ASPHead.substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
ASPHead	ASPHead.substitute(Term<?> t, Term<?> v)

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

Modifier and Type	Method	Description
void	Program.addFact(ASPHead fact)
void	Program.addFacts(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	Description
ASPHead(ASPHead other)	Copy-Constructor
ASPRule(ASPHead head)	Creates a fact with the given ASPHead.
ASPRule(ASPHead head, java.util.List<ASPBodyElement> body)	Creates a rule with the given head and body.