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

Packages that use ASPAtom
Package Description

net.sf.tweety.logics.translators.aspfol

net.sf.tweety.lp.asp.syntax

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

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.