Template Struct VariableInformation

• Defined in File state_variable_information.hpp

Struct Documentation

template<typename VariableType>
struct VariableInformation

Public Types

using value_type = VariableType

Make the information on the type of stored variable accessible.

Public Functions

inline VariableInformation(const storm::expressions::Variable &in_variable, bool is_global, const std::optional<VariableType> &lower_b = std::nullopt, const std::optional<VariableType> &upper_b = std::nullopt)

Public Members

storm::expressions::Variable variable

std::optional<VariableType> lower_bound

std::optional<VariableType> upper_bound

bool global