Template Struct WalkStatesExecutor

Struct Documentation

template<typename InitialStateType>
struct WalkStatesExecutor

Public Static Functions

static void walkStates(std::shared_ptr<SmaccStateInfo> &currentState, bool rootInitialNode)