Uses of Class
org.tweetyproject.action.signature.FolAction
-
Packages that use FolAction Package Description org.tweetyproject.action.query.syntax org.tweetyproject.action.signature org.tweetyproject.action.transitionsystem -
-
Uses of FolAction in org.tweetyproject.action.query.syntax
Methods in org.tweetyproject.action.query.syntax that return types with arguments of type FolAction Modifier and Type Method Description java.util.List<FolAction>
NecessarilyQuery. getActions()
java.util.Set<FolAction>
AlwaysQuery. getInnerActions()
java.util.Set<FolAction>
HoldsQuery. getInnerActions()
java.util.Set<FolAction>
NecessarilyQuery. getInnerActions()
abstract java.util.Set<FolAction>
QueryProposition. getInnerActions()
Returns the set of all actions contained in this query proposition.java.util.Set<FolAction>
SActionQuery. getInnerActions()
Constructors in org.tweetyproject.action.query.syntax with parameters of type FolAction Constructor Description NecessarilyQuery(FolFormula formula, FolAction action)
Creates a new necessarily query with the given inner formula and a single action.Constructor parameters in org.tweetyproject.action.query.syntax with type arguments of type FolAction Constructor Description NecessarilyQuery(FolFormula formula, java.util.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
Methods in org.tweetyproject.action.signature that return FolAction Modifier and Type Method Description FolAction
FolAction. substitute(java.util.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
Methods in org.tweetyproject.action.transitionsystem that return FolAction Modifier and Type Method Description FolAction
Transition. getAction()
Returns the action that causes this transition.Constructors in org.tweetyproject.action.transitionsystem with parameters of type FolAction Constructor Description Transition(State from, FolAction action, State to)
Creates a new transition with the given parameters.
-