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.logics.translators.aspnlp
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.logics.translators.aspnlp

Methods in net.sf.tweety.logics.translators.aspnlp that return types with arguments of type ASPHead

Modifier and Type	Method	Description
private java.util.List<ASPHead>	AspNlpTranslator.headsFromConjunction(Conjunction c)

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

Fields in net.sf.tweety.lp.asp.syntax declared as ASPHead

Modifier and Type	Field	Description
private ASPHead	ASPRule.head	The head (conclusion) of a rule.

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	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.