percemon::ast::functions::FrameBound Struct Reference
#include <functions.hpp>
Collaboration diagram for percemon::ast::functions::FrameBound:
Public Member Functions | |
| FrameBound (Var_f f_, const ComparisonOp op_=ComparisonOp::GE, const size_t bound_=0) | |
| bool | operator== (const FrameBound &other) const |
| bool | operator!= (const FrameBound &other) const |
Public Attributes | |
| Var_f | f |
| ComparisonOp | op = ComparisonOp::GE |
| size_t | bound = 0 |
Detailed Description
A bound on a Var_f of the form
f - C_FRAME ~ 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
