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 110 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 116 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 121 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 126 of file value_set_fivr.h.

References from, and to.

Member Data Documentation

from

unsigned value_set_fivrt::object_map_dt::validity_ranget::from

Definition at line 114 of file value_set_fivr.h.

Referenced by contains(), and value_set_fivrt::object_map_dt::set_valid_at().

function

unsigned value_set_fivrt::object_map_dt::validity_ranget::function

Definition at line 113 of file value_set_fivr.h.

Referenced by value_set_fivrt::object_map_dt::set_valid_at().

to

unsigned value_set_fivrt::object_map_dt::validity_ranget::to

Definition at line 114 of file value_set_fivr.h.

Referenced by contains(), and value_set_fivrt::object_map_dt::set_valid_at().

---

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

• pointer-analysis/value_set_fivr.h