cprover
value_set_fivrt::object_map_dt::validity_ranget Class Reference

#include <value_set_fivr.h>

Public Member Functions

 validity_ranget ()
 
 validity_ranget (unsigned fnc, unsigned f, unsigned t)
 
bool contains (unsigned f, unsigned line) const
 

Public Attributes

unsigned function
 
unsigned from
 
unsigned to
 

Detailed Description

Definition at line 106 of file value_set_fivr.h.

Constructor & Destructor Documentation

◆ validity_ranget() [1/2]

value_set_fivrt::object_map_dt::validity_ranget::validity_ranget ( )
inline

Definition at line 112 of file value_set_fivr.h.

◆ validity_ranget() [2/2]

value_set_fivrt::object_map_dt::validity_ranget::validity_ranget ( unsigned  fnc,
unsigned  f,
unsigned  t 
)
inline

Definition at line 117 of file value_set_fivr.h.

Member Function Documentation

◆ contains()

bool value_set_fivrt::object_map_dt::validity_ranget::contains ( unsigned  f,
unsigned  line 
) const
inline

Definition at line 122 of file value_set_fivr.h.

Member Data Documentation

◆ from

unsigned value_set_fivrt::object_map_dt::validity_ranget::from

Definition at line 110 of file value_set_fivr.h.

◆ function

unsigned value_set_fivrt::object_map_dt::validity_ranget::function

Definition at line 109 of file value_set_fivr.h.

◆ to

unsigned value_set_fivrt::object_map_dt::validity_ranget::to

Definition at line 110 of file value_set_fivr.h.


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