This is the complete list of members for storm::jani::JaniScopeChanger, including all inherited members.

canMakeVariableGlobal(storm::expressions::Variable const &variable, Model const &model) const	storm::jani::JaniScopeChanger
canMakeVariableLocal(storm::expressions::Variable const &variable, Model const &model, storm::OptionalRef< std::vector< Property > const > properties=storm::NullRef, std::optional< uint64_t > automatonIndex=std::nullopt) const	storm::jani::JaniScopeChanger
JaniScopeChanger()=default	storm::jani::JaniScopeChanger
makeVariableGlobal(storm::expressions::Variable const &variable, Model &model) const	storm::jani::JaniScopeChanger
makeVariableLocal(storm::expressions::Variable const &variable, Model &model, uint64_t automatonIndex) const	storm::jani::JaniScopeChanger
makeVariablesGlobal(Model &model) const	storm::jani::JaniScopeChanger
makeVariablesLocal(Model &model, storm::OptionalRef< std::vector< Property > const > properties=storm::NullRef) const	storm::jani::JaniScopeChanger