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.
-