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

Packages that use DLPAtom

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

Uses of DLPAtom in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax that return DLPAtom

Modifier and Type	Method and Description
DLPAtom	DLPAtom.clone()
DLPAtom	DLPAtom.cloneWithAddedTerm(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> tval)
DLPAtom	DLPNeg.complement()
DLPAtom	DLPAtom.getAtom()
DLPAtom	DLPNeg.getAtom()
DLPAtom	DLPLiteral.getAtom()
DLPAtom	DLPAtom.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 DLPAtom

Modifier and Type	Method and Description
Set<DLPAtom>	DLPAtom.getAtoms()
Set<DLPAtom>	DLPNeg.getAtoms()
Set<DLPAtom>	Rule.getAtoms()
Set<DLPAtom>	DLPNot.getAtoms()
Set<DLPAtom>	DLPHead.getAtoms()
Set<DLPAtom>	Aggregate.getAtoms()
Set<DLPAtom>	Comparative.getAtoms()
Set<DLPAtom>	Arithmetic.getAtoms()
Set<DLPAtom>	DLPElement.getAtoms()

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

Constructor and Description
DLPAtom(DLPAtom other) Copy-Ctor: Generates a deep copy of the given atom
DLPNeg(DLPAtom inner)