Storm
A Modern Probabilistic Model Checker
|
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::JaniLocalEliminator | static |
getResult() | storm::jani::JaniLocalEliminator | |
JaniLocalEliminator(Model const &original, storm::jani::Property &property, bool addMissingGuards=false) | storm::jani::JaniLocalEliminator | explicit |
JaniLocalEliminator(Model const &original, std::vector< storm::jani::Property > &properties, bool addMissingGuards=false) | storm::jani::JaniLocalEliminator | explicit |
scheduler | storm::jani::JaniLocalEliminator |