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 TypeMethodDescriptionDelpParser.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 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