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

Packages that use Atom

Package	Description
net.sf.tweety.action.query.syntax
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.commons.syntax.interfaces
net.sf.tweety.logics.dl.syntax
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.pl.syntax
net.sf.tweety.logics.translators
net.sf.tweety.lp.asp.syntax

Uses of Atom in net.sf.tweety.action.query.syntax

Classes in net.sf.tweety.action.query.syntax that implement Atom

Modifier and Type	Class	Description
class	AlwaysQuery	This class represents an always query in the action query language S.
class	HoldsQuery	This class represents a holds query in the action query language S.
class	NecessarilyQuery	This class represents a necessarily query in the action query language S.
class	QueryProposition	Action queries are represented as propositional formulas with three possible types of propositions: holds, always and necessarily propositions.

Uses of Atom in net.sf.tweety.arg.dung.ldo.syntax

Classes in net.sf.tweety.arg.dung.ldo.syntax that implement Atom

Modifier and Type	Class	Description
class	LdoArgument	This class represents an argument in ldo.

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	Description
java.util.Set<? extends Atom>	AssociativeFormulaSupport.getAtoms()
java.util.Set<? extends Atom>	QuantifiedFormulaSupport.getAtoms()
abstract java.util.Set<? extends Atom>	RelationalFormula.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	Description
java.util.Set<? extends Atom>	SimpleLogicalFormula.getAtoms()	Processes the set of all atoms which appear in this formula

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

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

Modifier and Type	Method	Description
java.util.Set<? extends Atom>	ComplexConcept.getAtoms()
java.util.Set<? extends Atom>	DlAxiom.getAtoms()

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

Classes in net.sf.tweety.logics.fol.syntax that implement Atom

Modifier and Type	Class	Description
class	FolAtom	An atom in first-order logic, i.e.

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

Modifier and Type	Method	Description
java.util.Set<? extends Atom>	Equivalence.getAtoms()
java.util.Set<? extends Atom>	Implication.getAtoms()

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

Classes in net.sf.tweety.logics.pl.syntax that implement Atom

Modifier and Type	Class	Description
class	Proposition	This class represents a simple proposition in propositional logic.

Uses of Atom in net.sf.tweety.logics.translators

Methods in net.sf.tweety.logics.translators that return Atom

Modifier and Type	Method	Description
Atom	Translator.translateAtom(Atom source, java.lang.Class<?> atomCls)	Translates the given source atom into an instance of atomCls and returns the translation.

Methods in net.sf.tweety.logics.translators with parameters of type Atom

Modifier and Type	Method	Description
Atom	Translator.translateAtom(Atom source, java.lang.Class<?> atomCls)	Translates the given source atom into an instance of atomCls and returns the translation.

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

Classes in net.sf.tweety.lp.asp.syntax that implement Atom

Modifier and Type	Class	Description
class	ASPAtom	This class models an atom, which is a basic structure for building literals and rules for logic programs.
class	ASPLiteral	This interface defines common functionality for literals, meaning atoms or strictly negated atoms.
class	StrictNegation	This class models the strict negation of an atom (as apposed to a NAF negation: DefaultNegation).