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

Packages that use DLPHead

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

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

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

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

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

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

Uses of DLPHead in net.sf.tweety.logics.translators.aspnlp

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

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

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

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

Modifier and Type	Field and Description
(package private) DLPHead	Rule.head

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

Modifier and Type	Method and Description
DLPHead	DLPHead.clone()
DLPHead	Rule.getConclusion()
DLPHead	DLPHead.substitute(Term<?> v, Term<?> t)

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

Modifier and Type	Method and Description
void	Program.addFact(DLPHead fact)
void	Rule.setConclusion(DLPHead conclusion)

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

Constructor and Description
DLPHead(DLPHead other) Copy-Ctor: Generates a deep copy from the given head
Rule(DLPHead head) Ctor: Create a rule with the given head, cause there are no body elements the created rule is a fact.