cprover
value_set_fivrnst::object_map_dt::validity_ranget Class Reference

#include <value_set_fivrns.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 107 of file value_set_fivrns.h.

Constructor & Destructor Documentation

◆ validity_ranget() [1/2]

value_set_fivrnst::object_map_dt::validity_ranget::validity_ranget ( )
inline

Definition at line 113 of file value_set_fivrns.h.

◆ validity_ranget() [2/2]

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

Definition at line 118 of file value_set_fivrns.h.

Member Function Documentation

◆ contains()

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

Definition at line 123 of file value_set_fivrns.h.

Member Data Documentation

◆ from

unsigned value_set_fivrnst::object_map_dt::validity_ranget::from

Definition at line 111 of file value_set_fivrns.h.

◆ function

unsigned value_set_fivrnst::object_map_dt::validity_ranget::function

Definition at line 110 of file value_set_fivrns.h.

◆ to

unsigned value_set_fivrnst::object_map_dt::validity_ranget::to

Definition at line 111 of file value_set_fivrns.h.


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