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

Packages that use ASPAtom

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 ASPAtom in net.sf.tweety.argumentation.parameterisedhierarchy

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

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

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

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

Modifier and Type	Method	Description
ASPAtom	AspFolTranslator.toASP(FolAtom source)

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

Modifier and Type	Method	Description
FolAtom	AspFolTranslator.toFOL(ASPAtom source)

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

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

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

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

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

Modifier and Type	Field	Description
private ASPAtom	StrictNegation.atom	The atom of this strict negation.

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

Modifier and Type	Method	Description
ASPAtom	ASPAtom.clone()
ASPAtom	ASPAtom.cloneWithAddedTerm(Term<?> term)
ASPAtom	ASPAtom.getAtom()
abstract ASPAtom	ASPLiteral.getAtom()
ASPAtom	StrictNegation.getAtom()
ASPAtom	ASPAtom.substitute(Term<?> v, Term<?> t)

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

Modifier and Type	Method	Description
java.util.Set<ASPAtom>	AggregateAtom.getAtoms()
java.util.Set<ASPAtom>	AggregateElement.getAtoms()
java.util.Set<ASPAtom>	ASPAtom.getAtoms()
abstract java.util.Set<ASPAtom>	ASPElement.getAtoms()
java.util.Set<ASPAtom>	ASPHead.getAtoms()
java.util.Set<ASPAtom>	ASPRule.getAtoms()
java.util.Set<ASPAtom>	ComparativeAtom.getAtoms()
java.util.Set<ASPAtom>	DefaultNegation.getAtoms()
java.util.Set<ASPAtom>	StrictNegation.getAtoms()

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

Constructor	Description
ASPAtom(ASPAtom other)	Copy-Constructor: Generates a deep copy of the given ASP atom.
StrictNegation(ASPAtom atom)	Creates a new negation with the given atom.