percemon::ast::functions::TimeBound Struct Reference
#include <functions.hpp>
Collaboration diagram for percemon::ast::functions::TimeBound:
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 |
Detailed Description
A bound on a Var_x of the form
x - C_TIME ~ c
where, ~ is a relational operator: <,>,<=,>=.
The documentation for this struct was generated from the following file:
- /home/anand/workspace/rv-presentation/PerceMon/include/percemon/ast/functions.hpp
