Uses of Class
org.tweetyproject.lp.asp.syntax.ASPAtom
-
Packages that use ASPAtom Package Description org.tweetyproject.logics.translators.aspfol org.tweetyproject.lp.asp.syntax -
-
Uses of ASPAtom in org.tweetyproject.logics.translators.aspfol
Methods in org.tweetyproject.logics.translators.aspfol that return ASPAtom Modifier and Type Method Description ASPAtom
AspFolTranslator. toASP(FolAtom source)
Methods in org.tweetyproject.logics.translators.aspfol with parameters of type ASPAtom Modifier and Type Method Description FolAtom
AspFolTranslator. toFOL(ASPAtom source)
-
Uses of ASPAtom in org.tweetyproject.lp.asp.syntax
Methods in org.tweetyproject.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 org.tweetyproject.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>
AggregateHead. getAtoms()
java.util.Set<ASPAtom>
ASPAtom. getAtoms()
abstract java.util.Set<ASPAtom>
ASPElement. getAtoms()
java.util.Set<ASPAtom>
ASPRule. getAtoms()
java.util.Set<ASPAtom>
ClassicalHead. getAtoms()
java.util.Set<ASPAtom>
ComparativeAtom. getAtoms()
java.util.Set<ASPAtom>
DefaultNegation. getAtoms()
java.util.Set<ASPAtom>
OptimizationElement. getAtoms()
java.util.Set<ASPAtom>
OptimizationStatement. getAtoms()
java.util.Set<ASPAtom>
StrictNegation. getAtoms()
Constructors in org.tweetyproject.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.
-