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 and Description
List<FolAction>	NecessarilyQuery.getActions() Returns the list of actions of this necessarily query in the correct order.
abstract Set<FolAction>	QueryProposition.getInnerActions() Returns the set of all actions contained in this query proposition.
Set<FolAction>	AlwaysQuery.getInnerActions()
Set<FolAction>	SActionQuery.getInnerActions() Returns all actions, which occur in action sequences in necessarily queries in this action query.
Set<FolAction>	NecessarilyQuery.getInnerActions()
Set<FolAction>	HoldsQuery.getInnerActions()

Constructors in net.sf.tweety.action.query.syntax with parameters of type FolAction

Constructor and Description
NecessarilyQuery(net.sf.tweety.logics.fol.syntax.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 and Description
NecessarilyQuery(net.sf.tweety.logics.fol.syntax.FolFormula formula, 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 and Description
FolAction	FolAction.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.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 and Description
FolAction	Transition.getAction() Returns the action that causes this transition.

Constructors in net.sf.tweety.action.transitionsystem with parameters of type FolAction

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