storm::generator::ActionMask< ValueType, StateType > Class Template Reference

Action masks are arguments you can give to the state generator that limit which states are generated. More...

#include <NextStateGenerator.h>

Inheritance diagram for storm::generator::ActionMask< ValueType, StateType >:

Public Member Functions
virtual	~ActionMask ()=default
virtual bool	query (storm::generator::NextStateGenerator< ValueType, StateType > const &generator, uint64_t actionIndex)=0
	This method is called to check whether an action should be expanded.

Detailed Description

template<typename ValueType, typename StateType = uint32_t>
class storm::generator::ActionMask< ValueType, StateType >

Action masks are arguments you can give to the state generator that limit which states are generated.

Definition at line 43 of file NextStateGenerator.h.

Constructor & Destructor Documentation

~ActionMask()

template<typename ValueType , typename StateType = uint32_t>

virtual storm::generator::ActionMask< ValueType, StateType >::~ActionMask ( )

virtualdefault

Member Function Documentation

query()

template<typename ValueType , typename StateType = uint32_t>

virtual bool storm::generator::ActionMask< ValueType, StateType >::query ( storm::generator::NextStateGenerator< ValueType, StateType > const &  generator, uint64_t  actionIndex  )

pure virtual

This method is called to check whether an action should be expanded.

The current state is obtained from the generator.

Parameters

generator	the generator that is to be masked
actionIndex	the actionIndex in Prism Programs; i.e. id of actions.

Returns

true if the mask allows building the action/edge/command

Implemented in storm::generator::StateValuationFunctionMask< ValueType, StateType >.

---

The documentation for this class was generated from the following file:

• src/storm/generator/NextStateGenerator.h