Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::cli::PostprocessingIdentity, including all inherited members.
operator()(std::unique_ptr< storm::modelchecker::CheckResult > const &) | storm::cli::PostprocessingIdentity | inline |