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

Packages that use DLPNeg

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

Uses of DLPNeg in net.sf.tweety.argumentation.parameterisedhierarchy

Fields in net.sf.tweety.argumentation.parameterisedhierarchy declared as DLPNeg

Modifier and Type	Field and Description
(package private) DLPNeg	ArgumentationReasonerTest.n_q
(package private) DLPNeg	ArgumentationReasonerTest.n_s

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

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

Modifier and Type	Method and Description
DLPNeg	AspFolTranslator.toASP(Negation source)

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

Modifier and Type	Method and Description
Negation	AspFolTranslator.toFOL(DLPNeg source)

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

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

Modifier and Type	Method and Description
DLPNeg	DLPNeg.clone()
DLPNeg	DLPAtom.complement()
DLPNeg	DLPNeg.substitute(Term<?> v, Term<?> t)

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

Constructor and Description
DLPNeg(DLPNeg other)