Constraint Struct Reference

A constraint in a guard of transitions. More...

#include <constraint.hh>

Public Types
enum class	Order { lt , le , ge , gt }
using	Interpretation = std::vector< double >

Public Member Functions
bool	satisfy (double d) const
::Order	operator() (Interpretation val) const

Public Attributes
ClockVariables	x
Order	odr
int	c

Detailed Description

A constraint in a guard of transitions.

---

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

• constraint.hh