Variable smc_storm::state_generation::StoreExpandedStates

• Defined in File state_generation.hpp

Variable Documentation

template<typename StateType> concept smc_storm::state_generation::StoreExpandedStates   = !std::is_same_v<StateType, storm::generator::CompressedState>