Template Class StateVariableInformation

• Defined in File state_variable_information.hpp

Class Documentation

template<typename RealValueType>
class StateVariableInformation

Public Functions

StateVariableInformation() = default

StateVariableInformation(const storm::jani::Model &model, const std::vector<std::reference_wrapper<storm::jani::Automaton const>> &parallel_automata, bool out_of_bounds_state)

inline bool checkVariableBounds() const

inline StateVariableData<RealValueType> generateVariableData() const

inline const std::vector<VariableInformation<bool>> &booleanVariables() const

inline const std::vector<VariableInformation<int64_t>> &integerVariables() const

inline const std::vector<VariableInformation<RealValueType>> &realVariables() const

inline const std::vector<VariableInformation<uint64_t>> &locationVariables() const

void setInEvaluator(storm::expressions::ExpressionEvaluator<RealValueType> &evaluator, const StateVariableData<RealValueType> &var_data) const