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.