Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
storm::utility::detail::DoubleLess Struct Reference

#include <constants.h>

Public Member Functions

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

Detailed Description

Definition at line 40 of file constants.h.

Member Function Documentation

◆ operator()()

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

Definition at line 41 of file constants.h.


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