Uses of Interface
org.tweetyproject.logics.commons.syntax.interfaces.Atom
-
-
-
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
-
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. -
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
).
-