Uses of Class
org.tweetyproject.logics.fol.syntax.FolAtom
Package
Description
-
Uses of FolAtom in org.tweetyproject.action.description.syntax
-
Uses of FolAtom in org.tweetyproject.action.query.syntax
-
Uses of FolAtom in org.tweetyproject.action.signature
Modifier and TypeMethodDescriptionActionSignature.getAllGroundedActionNameAtoms()
Returns the set of all possible grounded atoms in this signature on the basis of all action name predicates contained.ActionSignature.getAllGroundedFluentAtoms()
Returns the set of all possible grounded atoms in this signature on the basis of all fluent predicates contained.FolAction.getAtoms()
Returns all atoms, e.g.FolAction.iterator()
-
Uses of FolAtom in org.tweetyproject.action.transitionsystem
Modifier and TypeMethodDescriptionboolean
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.Modifier and TypeMethodDescriptionCreates a new state and adds it to this transition system.Returns the state that maps the given fluents to true, if it exists, otherwise null. -
Uses of FolAtom in org.tweetyproject.arg.delp.parser
Modifier and TypeMethodDescriptionfinal FolAtom
DelpParser.Atom
(DefeasibleLogicProgram delp, FolSignature signature) -
Uses of FolAtom in org.tweetyproject.arg.delp.syntax
-
Uses of FolAtom in org.tweetyproject.logics.fol.semantics
ModifierConstructorDescriptionHerbrandInterpretation
(Collection<? extends FolAtom> atoms) Creates a new Herbrand interpretation with the given set of atoms -
Uses of FolAtom in org.tweetyproject.logics.fol.syntax
-
Uses of FolAtom in org.tweetyproject.logics.ml.semantics
ModifierConstructorDescriptionMlHerbrandInterpretation
(Collection<? extends FolAtom> atoms) Creates a new Herbrand interpretation with the given set of atoms -
Uses of FolAtom in org.tweetyproject.logics.ml.syntax
-
Uses of FolAtom in org.tweetyproject.logics.mln.syntax
-
Uses of FolAtom in org.tweetyproject.logics.rcl.syntax
-
Uses of FolAtom in org.tweetyproject.logics.rdl.syntax
-
Uses of FolAtom in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
Modifier and TypeMethodDescriptionstatic final FolAtom
RpclProbabilityDistributionParser.GroundAtom
(FolSignature signature) -
Uses of FolAtom in org.tweetyproject.logics.translators.aspfol
-
Uses of FolAtom in org.tweetyproject.logics.translators.folprop
Modifier and TypeMethodDescriptionFOLPropTranslator.toFOL
(Proposition proposition) Translates the given proposition into a FOL-AtomModifier and TypeMethodDescriptionFOLPropTranslator.toPropositional
(FolAtom atom) Translates the given FOL-Atom into a Proposition -
Uses of FolAtom in org.tweetyproject.lp.asp.syntax
-
Uses of FolAtom in org.tweetyproject.lp.nlp.syntax