ModelOptions Struct Reference

Class to pass options to Model. More...

#include <ModelOptions.hh>

Public Types
enum	ReachType { iter = 0, glop = 1 }
enum	SSPType { iter = 0, glop = 1, poly = 2 }

Public Attributes
Verbosity::Level	verbosity
ReachType	reachSolver
SSPType	sspSolver
double	epsilon
double	tranEpsilon
std::vector< std::pair< std::string, std::string > >	defines

Detailed Description

Class to pass options to Model.

---

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

• Model/ModelOptions.hh