Storm
A Modern Probabilistic Model Checker
|
#include <constants.h>
Public Member Functions | |
bool | operator() (double a, double b) const |
Definition at line 40 of file constants.h.
|
inline |
Definition at line 41 of file constants.h.