Uses of Interface
net.sf.tweety.logics.commons.syntax.interfaces.Atom
-
-
-
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.aba.syntax
Methods in net.sf.tweety.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 net.sf.tweety.arg.aspic.syntax
Methods in net.sf.tweety.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 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
-
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. -
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
).
-