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
List<FolAction>	NecessarilyQuery.getActions()
Set<FolAction>	AlwaysQuery.getInnerActions()
Set<FolAction>	HoldsQuery.getInnerActions()
Set<FolAction>	NecessarilyQuery.getInnerActions()
abstract Set<FolAction>	QueryProposition.getInnerActions()	Returns the set of all actions contained in this query proposition.
Set<FolAction>	SActionQuery.getInnerActions()

Constructors in org.tweetyproject.action.query.syntax with parameters of type FolAction

Modifier	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

Modifier	Constructor	Description
	NecessarilyQuery(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

Methods in org.tweetyproject.action.signature that return FolAction

Modifier and Type	Method	Description
FolAction	FolAction.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

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

Modifier	Constructor	Description
	Transition(State from, FolAction action, State to)	Creates a new transition with the given parameters.