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

Packages that use DLPHead

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

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

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

Modifier and Type	Method and Description
DLPHead	DLPHead.clone()
DLPHead	DLPHead.createEmptyFormula()
DLPHead	Rule.getConclusion()
DLPHead	DLPHead.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.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.