Uses of Class
org.tweetyproject.logics.fol.syntax.FolAtom
-
-
-
Uses of FolAtom in org.tweetyproject.action.description.syntax
-
Uses of FolAtom in org.tweetyproject.action.query.syntax
Methods in org.tweetyproject.action.query.syntax that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
SActionQuery. getInnerAtoms()
-
Uses of FolAtom in org.tweetyproject.action.signature
Methods in org.tweetyproject.action.signature that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
ActionSignature. getAllGroundedActionNameAtoms()
Returns the set of all possible grounded atoms in this signature on the basis of all action name predicates contained.java.util.Set<FolAtom>
ActionSignature. getAllGroundedFluentAtoms()
Returns the set of all possible grounded atoms in this signature on the basis of all fluent predicates contained.java.util.Set<FolAtom>
FolAction. getAtoms()
Returns all atoms, e.g.java.util.Iterator<FolAtom>
FolAction. iterator()
Constructor parameters in org.tweetyproject.action.signature with type arguments of type FolAtom Constructor Description FolAction(java.util.Set<FolAtom> actionNames)
Creates a new action, which maps the given action names to true, and every thing else to false. -
Uses of FolAtom in org.tweetyproject.action.transitionsystem
Methods in org.tweetyproject.action.transitionsystem that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
State. getPositiveFluents()
Methods in org.tweetyproject.action.transitionsystem with parameters of type FolAtom Modifier and Type Method Description boolean
TransitionSystem. getValue(FolAtom fluent, State state)
Returns the value of a fluent in a state in this transition system.boolean
State. isMappedToTrue(FolAtom fluent)
Returns true iff the fluent given is mapped to true by this state.Method parameters in org.tweetyproject.action.transitionsystem with type arguments of type FolAtom Modifier and Type Method Description State
TransitionSystem. addState(java.util.Set<FolAtom> fluents)
Creates a new state and adds it to this transition system.State
TransitionSystem. getState(java.util.Set<FolAtom> fluents)
Returns the state that maps the given fluents to true, if it exists, otherwise null.Constructor parameters in org.tweetyproject.action.transitionsystem with type arguments of type FolAtom Constructor Description State(java.util.Set<FolAtom> fluents)
Creates a new State with a set of fluents that are mapped to true. -
Uses of FolAtom in org.tweetyproject.arg.delp.parser
Methods in org.tweetyproject.arg.delp.parser that return FolAtom Modifier and Type Method Description FolAtom
DelpParser. Atom(DefeasibleLogicProgram delp, FolSignature signature)
-
Uses of FolAtom in org.tweetyproject.arg.delp.syntax
Methods in org.tweetyproject.arg.delp.syntax that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
DelpRule. getAtoms()
-
Uses of FolAtom in org.tweetyproject.logics.fol.semantics
Methods in org.tweetyproject.logics.fol.semantics that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
HerbrandBase. getAtoms()
Returns all atoms of this Herbrand base.Constructor parameters in org.tweetyproject.logics.fol.semantics with type arguments of type FolAtom Constructor Description HerbrandInterpretation(java.util.Collection<? extends FolAtom> atoms)
Creates a new Herbrand interpretation with the given set of atoms -
Uses of FolAtom in org.tweetyproject.logics.fol.syntax
Methods in org.tweetyproject.logics.fol.syntax that return FolAtom Modifier and Type Method Description FolAtom
FolAtom. clone()
FolAtom
FolAtom. substitute(Term<?> v, Term<?> t)
Methods in org.tweetyproject.logics.fol.syntax that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
AssociativeFolFormula. getAtoms()
java.util.Set<FolAtom>
ExistsQuantifiedFormula. getAtoms()
java.util.Set<FolAtom>
FolAtom. getAtoms()
java.util.Set<FolAtom>
ForallQuantifiedFormula. getAtoms()
java.util.Set<FolAtom>
Negation. getAtoms()
java.util.Set<FolAtom>
SpecialFormula. getAtoms()
Constructors in org.tweetyproject.logics.fol.syntax with parameters of type FolAtom Constructor Description FolAtom(FolAtom other)
-
Uses of FolAtom in org.tweetyproject.logics.ml.semantics
Methods in org.tweetyproject.logics.ml.semantics that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
MlHerbrandBase. getAtoms()
Returns all atoms of this Herbrand base.Constructor parameters in org.tweetyproject.logics.ml.semantics with type arguments of type FolAtom Constructor Description MlHerbrandInterpretation(java.util.Collection<? extends FolAtom> atoms)
Creates a new Herbrand interpretation with the given set of atoms -
Uses of FolAtom in org.tweetyproject.logics.ml.syntax
Methods in org.tweetyproject.logics.ml.syntax that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
MlFormula. getAtoms()
-
Uses of FolAtom in org.tweetyproject.logics.mln.syntax
Methods in org.tweetyproject.logics.mln.syntax that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
MlnFormula. getAtoms()
-
Uses of FolAtom in org.tweetyproject.logics.rcl.syntax
Methods in org.tweetyproject.logics.rcl.syntax that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
RelationalConditional. getAtoms()
-
Uses of FolAtom in org.tweetyproject.logics.rdl.syntax
Methods in org.tweetyproject.logics.rdl.syntax that return types with arguments of type FolAtom Modifier and Type Method Description java.util.Set<FolAtom>
DefaultRule. getAtoms()
-
Uses of FolAtom in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
Methods in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser that return FolAtom Modifier and Type Method Description static FolAtom
RpclProbabilityDistributionParser. GroundAtom(FolSignature signature)
-
Uses of FolAtom in org.tweetyproject.logics.translators.aspfol
Methods in org.tweetyproject.logics.translators.aspfol that return FolAtom Modifier and Type Method Description FolAtom
AspFolTranslator. toFOL(ASPAtom source)
Methods in org.tweetyproject.logics.translators.aspfol with parameters of type FolAtom Modifier and Type Method Description ASPAtom
AspFolTranslator. toASP(FolAtom source)
-
Uses of FolAtom in org.tweetyproject.logics.translators.folprop
Methods in org.tweetyproject.logics.translators.folprop that return FolAtom Modifier and Type Method Description FolAtom
FOLPropTranslator. toFOL(Proposition proposition)
Translates the given proposition into a FOL-AtomMethods in org.tweetyproject.logics.translators.folprop with parameters of type FolAtom Modifier and Type Method Description Proposition
FOLPropTranslator. toPropositional(FolAtom atom)
Translates the given FOL-Atom into a Proposition -
Uses of FolAtom in org.tweetyproject.lp.asp.syntax
Constructors in org.tweetyproject.lp.asp.syntax with parameters of type FolAtom Constructor Description ASPAtom(FolAtom other)
Copy-Constructor: Generates a deep copy of the given FOL atom. -
Uses of FolAtom in org.tweetyproject.lp.nlp.syntax
-