Storm 1.13.0.1
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 55 of file constants.h.

Member Function Documentation

◆ operator()()

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

Definition at line 56 of file constants.h.


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