Infinite state-space truncator which generates a probability within a window
Static Public Member Functions | List of all members
stamina::StateSpaceInformation Class Reference

Static Public Member Functions

static std::string stateToString (CompressedState &state, double pi)
static std::string stateToBase64String (CompressedState &state, double pi)
static void printStateAsString (CompressedState &state, double pi)
static void printStateAsBase64String (CompressedState &state, double pi)
static void setVariableInformation (storm::generator::VariableInformation varInformation)
static void printVariableNames ()

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