Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::utility::detail::DoubleGreater Struct Reference

#include <constants.h>

Public Member Functions

bool operator() (double a, double b) const
 

Detailed Description

Definition at line 56 of file constants.h.

Member Function Documentation

◆ operator()()

bool storm::utility::detail::DoubleGreater::operator() ( double  a,
double  b 
) const
inline

Definition at line 57 of file constants.h.


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