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

Packages that use ASPAtom

Package	Description
net.sf.tweety.lp.asp.syntax

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 and Description
ASPAtom	ASPAtom.clone()
ASPAtom	ASPAtom.cloneWithAddedTerm(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> term)
abstract ASPAtom	ASPLiteral.getAtom()
ASPAtom	StrictNegation.getAtom()
ASPAtom	ASPAtom.getAtom()
ASPAtom	ASPAtom.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type ASPAtom

Modifier and Type	Method and Description
Set<ASPAtom>	ComparativeAtom.getAtoms()
Set<ASPAtom>	ASPHead.getAtoms()
Set<ASPAtom>	AggregateAtom.getAtoms()
Set<ASPAtom>	StrictNegation.getAtoms()
Set<ASPAtom>	ASPRule.getAtoms()
Set<ASPAtom>	ASPAtom.getAtoms()
Set<ASPAtom>	AggregateElement.getAtoms()
Set<ASPAtom>	DefaultNegation.getAtoms()
abstract Set<ASPAtom>	ASPElement.getAtoms()

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type ASPAtom

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