PerceMon
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: