percemon::ast::functions::FrameInterval Struct Reference

Public Types
enum	Bound { OPEN , LOPEN , ROPEN , CLOSED }

Static Public Member Functions
static FrameInterval	open (size_t low, size_t high)
static FrameInterval	lopen (size_t low, size_t high)
static FrameInterval	ropen (size_t low, size_t high)
static FrameInterval	closed (size_t low, size_t high)

Public Attributes
size_t	low
size_t	high
Bound	bound

---

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

• /home/anand/workspace/rv-presentation/PerceMon/include/percemon/ast/functions.hpp