storm::expressions::ExpressionLess Struct Reference

#include <Expression.h>

Public Member Functions
bool	operator() (Expression const &lhs, Expression const &rhs) const

Detailed Description

Definition at line 475 of file Expression.h.

Member Function Documentation

operator()()

bool storm::expressions::ExpressionLess::operator() ( Expression const & lhs, Expression const & rhs ) const

inline

Definition at line 476 of file Expression.h.

---

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

• src/storm/storage/expressions/Expression.h