Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.Atom

Packages that use Atom

Package	Description
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces

Uses of Atom in net.sf.tweety.logics.commons.syntax

Methods in net.sf.tweety.logics.commons.syntax that return types with arguments of type Atom

Modifier and Type	Method and Description
abstract Set<? extends Atom>	RelationalFormula.getAtoms()
Set<? extends Atom>	QuantifiedFormulaSupport.getAtoms()
Set<? extends Atom>	AssociativeFormulaSupport.getAtoms()

Uses of Atom in net.sf.tweety.logics.commons.syntax.interfaces

Methods in net.sf.tweety.logics.commons.syntax.interfaces that return types with arguments of type Atom

Modifier and Type	Method and Description
Set<? extends Atom>	SimpleLogicalFormula.getAtoms() Processes the set of all atoms which appear in this formula