Uses of Class
net.sf.tweety.action.signature.FolAction
-
Packages that use FolAction Package Description net.sf.tweety.action.query.parser net.sf.tweety.action.query.syntax net.sf.tweety.action.signature net.sf.tweety.action.transitionsystem -
-
Uses of FolAction in net.sf.tweety.action.query.parser
Methods in net.sf.tweety.action.query.parser that return FolAction Modifier and Type Method Description private FolAction
ActionQueryParser. parseAction(java.util.List<java.lang.Object> l)
Parses a list of actionnames or a list of actions. -
Uses of FolAction in net.sf.tweety.action.query.syntax
Fields in net.sf.tweety.action.query.syntax with type parameters of type FolAction Modifier and Type Field Description private java.util.List<FolAction>
NecessarilyQuery. actions
Methods in net.sf.tweety.action.query.syntax that return types with arguments of type FolAction Modifier and Type Method Description java.util.List<FolAction>
NecessarilyQuery. getActions()
Returns the list of actions of this necessarily query in the correct order.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()
Returns all actions, which occur in action sequences in necessarily queries in this action query.Constructors in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.action.signature
Methods in net.sf.tweety.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 net.sf.tweety.action.transitionsystem
Fields in net.sf.tweety.action.transitionsystem declared as FolAction Modifier and Type Field Description private FolAction
Transition. action
Methods in net.sf.tweety.action.transitionsystem that return FolAction Modifier and Type Method Description FolAction
Transition. getAction()
Returns the action that causes this transition.Constructors in net.sf.tweety.action.transitionsystem with parameters of type FolAction Constructor Description Transition(State from, FolAction action, State to)
Creates a new transition with the given parameters.
-