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

Packages that use DLPAtom

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

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

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

Modifier and Type	Field and Description
(package private) DLPAtom	ArgumentationReasonerTest.m
(package private) DLPAtom	ArgumentationReasonerTest.n
(package private) DLPAtom	ArgumentationReasonerTest.p
(package private) DLPAtom	ArgumentationReasonerTest.q
(package private) DLPAtom	ArgumentationReasonerTest.r
(package private) DLPAtom	ArgumentationReasonerTest.s

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

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

Modifier and Type	Method and Description
DLPAtom	AspFolTranslator.toASP(FOLAtom source)

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

Modifier and Type	Method and Description
FOLAtom	AspFolTranslator.toFOL(DLPAtom source)

Uses of DLPAtom in net.sf.tweety.lp.asp.beliefdynamics

Fields in net.sf.tweety.lp.asp.beliefdynamics declared as DLPAtom

Modifier and Type	Field and Description
(package private) DLPAtom	ScepticalLiteralTransformationFunctionTest.a1
(package private) DLPAtom	NaiveLiteralTransformationFunctionTest.a1
(package private) DLPAtom	ScepticalLiteralTransformationFunctionTest.a2
(package private) DLPAtom	NaiveLiteralTransformationFunctionTest.a2
(package private) DLPAtom	ScepticalLiteralTransformationFunctionTest.a3
(package private) DLPAtom	NaiveLiteralTransformationFunctionTest.a3
(package private) DLPAtom	ScepticalLiteralTransformationFunctionTest.a4
(package private) DLPAtom	NaiveLiteralTransformationFunctionTest.a4
(package private) DLPAtom	ScepticalLiteralTransformationFunctionTest.b
(package private) DLPAtom	NaiveLiteralTransformationFunctionTest.b

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

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

Modifier and Type	Field and Description
(package private) DLPAtom	DLPNeg.atom

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

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

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type DLPAtom

Modifier and Type	Method and Description
java.util.Set<DLPAtom>	Rule.getAtoms()
java.util.Set<DLPAtom>	DLPNot.getAtoms()
java.util.Set<DLPAtom>	DLPNeg.getAtoms()
java.util.Set<DLPAtom>	DLPHead.getAtoms()
java.util.Set<DLPAtom>	DLPElement.getAtoms()
java.util.Set<DLPAtom>	DLPAtom.getAtoms()
java.util.Set<DLPAtom>	Comparative.getAtoms()
java.util.Set<DLPAtom>	Arithmetic.getAtoms()
java.util.Set<DLPAtom>	Aggregate.getAtoms()

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

Constructor and Description
DLPAtom(DLPAtom other) Copy-Ctor: Generates a deep copy of the given atom
DLPNeg(DLPAtom inner)