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)	Translates a FolAtom to its corresponding ASPAtom.

Methods in org.tweetyproject.logics.translators.aspfol with parameters of type ASPAtom

Modifier and Type	Method	Description
FolAtom	AspFolTranslator.toFOL(ASPAtom source)	Translates an ASPAtom to its corresponding FolAtom.

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()	Return The atom representing the literal.
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
Set<ASPAtom>	AggregateAtom.getAtoms()
Set<ASPAtom>	AggregateElement.getAtoms()
Set<ASPAtom>	AggregateHead.getAtoms()
Set<ASPAtom>	ASPAtom.getAtoms()
abstract Set<ASPAtom>	ASPElement.getAtoms()
Set<ASPAtom>	ASPRule.getAtoms()
Set<ASPAtom>	ChoiceElement.getAtoms()
Set<ASPAtom>	ChoiceHead.getAtoms()
Set<ASPAtom>	ClassicalHead.getAtoms()
Set<ASPAtom>	ComparativeAtom.getAtoms()
Set<ASPAtom>	DefaultNegation.getAtoms()
Set<ASPAtom>	OptimizationElement.getAtoms()
Set<ASPAtom>	OptimizationStatement.getAtoms()
Set<ASPAtom>	StrictNegation.getAtoms()

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPAtom

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