storm::cli::PostprocessingIdentity Struct Reference

#include <model-handling-main-cli.h>

Public Member Functions
void	operator() (std::unique_ptr< storm::modelchecker::CheckResult > const &)

Detailed Description

Definition at line 202 of file model-handling-main-cli.h.

Member Function Documentation

operator()()

void storm::cli::PostprocessingIdentity::operator() ( std::unique_ptr< storm::modelchecker::CheckResult > const & )

inline

Definition at line 203 of file model-handling-main-cli.h.

---

The documentation for this struct was generated from the following file:

• src/storm-cli/model-handling-main-cli.h