PerceMon
|
#include <functions.hpp>
Public Member Functions | |
TimeBound (Var_x x_, const ComparisonOp op_=ComparisonOp::GE, const double bound_=0.0) | |
bool | operator== (const TimeBound &other) const |
bool | operator!= (const TimeBound &other) const |
Public Attributes | |
Var_x | x |
ComparisonOp | op = ComparisonOp::GE |
double | bound = 0.0 |
A bound on a Var_x of the form
x - C_TIME ~ c
where, ~
is a relational operator: <
,>
,<=
,>=
.