storm::cli::PostprocessingIdentity Struct Reference

#include <model-handling.h>

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

Detailed Description

Definition at line 983 of file model-handling.h.

Member Function Documentation

operator()()

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

inline

Definition at line 984 of file model-handling.h.

---

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

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