Uses of Class net.sf.tweety.action.signature.FolAction

Packages that use FolAction
Package Description

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

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

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.