Uses of Class
org.tweetyproject.action.signature.FolAction
Package
Description
-
Uses of FolAction in org.tweetyproject.action.query.syntax
Modifier and TypeMethodDescriptionNecessarilyQuery.getActions()
AlwaysQuery.getInnerActions()
HoldsQuery.getInnerActions()
NecessarilyQuery.getInnerActions()
QueryProposition.getInnerActions()
Returns the set of all actions contained in this query proposition.SActionQuery.getInnerActions()
ModifierConstructorDescriptionNecessarilyQuery(FolFormula formula, FolAction action)
Creates a new necessarily query with the given inner formula and a single action.ModifierConstructorDescriptionNecessarilyQuery(FolFormula formula, List<FolAction> actions)
Creates a new necessarily query with the given inner formula and list of actions. -
Uses of FolAction in org.tweetyproject.action.signature
Modifier and TypeMethodDescriptionFolAction.substitute(Map<? extends Term<?>,? extends Term<?>> map)
Substitutes terms in all non-zero-arity atoms in this action according to the given map. -
Uses of FolAction in org.tweetyproject.action.transitionsystem
Modifier and TypeMethodDescriptionTransition.getAction()
Returns the action that causes this transition.ModifierConstructorDescriptionTransition(State from, FolAction action, State to)
Creates a new transition with the given parameters.