Uses of Interface
org.tweetyproject.logics.commons.syntax.interfaces.Atom

Packages that use Atom

Package	Description
org.tweetyproject.action.query.syntax
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.arg.dung.ldo.syntax
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.commons.syntax.interfaces
org.tweetyproject.logics.dl.syntax
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.pl.syntax
org.tweetyproject.logics.translators
org.tweetyproject.lp.asp.syntax

Uses of Atom in org.tweetyproject.action.query.syntax

Classes in org.tweetyproject.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 org.tweetyproject.arg.aba.syntax

Methods in org.tweetyproject.arg.aba.syntax that return types with arguments of type Atom

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

Uses of Atom in org.tweetyproject.arg.aspic.syntax

Methods in org.tweetyproject.arg.aspic.syntax that return types with arguments of type Atom

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

Uses of Atom in org.tweetyproject.arg.dung.ldo.syntax

Classes in org.tweetyproject.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 org.tweetyproject.logics.commons.syntax

Methods in org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.interfaces

Methods in org.tweetyproject.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 org.tweetyproject.logics.dl.syntax

Methods in org.tweetyproject.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 org.tweetyproject.logics.fol.syntax

Classes in org.tweetyproject.logics.fol.syntax that implement Atom

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

Methods in org.tweetyproject.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 org.tweetyproject.logics.pl.syntax

Classes in org.tweetyproject.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 org.tweetyproject.logics.translators

Methods in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.lp.asp.syntax

Classes in org.tweetyproject.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 class defines common functionality for literals, meaning atoms or strictly negated atoms.
class	StrictNegation	This class models the strict negation of an atom (as opposed to a default negation: DefaultNegation).