Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::jani::JaniLocalEliminator Member List

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

eliminate(bool flatten=true)storm::jani::JaniLocalEliminator
eliminateAutomatically(const Model &model, std::vector< jani::Property > properties, uint64_t locationHeuristic, uint64_t edgesHeuristic)storm::jani::JaniLocalEliminatorstatic
getResult()storm::jani::JaniLocalEliminator
JaniLocalEliminator(Model const &original, storm::jani::Property &property, bool addMissingGuards=false)storm::jani::JaniLocalEliminatorexplicit
JaniLocalEliminator(Model const &original, std::vector< storm::jani::Property > &properties, bool addMissingGuards=false)storm::jani::JaniLocalEliminatorexplicit
schedulerstorm::jani::JaniLocalEliminator