|  | 
|  | __init__ (self, *args) | 
|  | init(self, _type=mop_z, _off=-1, _size=0) -> vivl_t 
 | 
|  | 
| "void" | set (self, *args) | 
|  | set(self, _type, _off, _size=0) 
 | 
|  | 
| "void" | set_stkoff (self, "sval_t" stkoff, "int" sz=0) | 
|  | set_stkoff(self, stkoff, sz=0) 
 | 
|  | 
| "void" | set_reg (self, "mreg_t" mreg, "int" sz=0) | 
|  | set_reg(self, mreg, sz=0) 
 | 
|  | 
| "bool" | extend_to_cover (self, "vivl_t" r) | 
|  | extend_to_cover(self, r) -> bool Extend a value interval using another value interval of the same type 
 | 
|  | 
| "uval_t" | intersect (self, "vivl_t" r) | 
|  | intersect(self, r) -> uval_t Intersect value intervals the same type 
 | 
|  | 
| "bool" | overlap (self, "vivl_t" r) | 
|  | overlap(self, r) -> bool Do two value intervals overlap? 
 | 
|  | 
| "bool" | includes (self, "vivl_t" r) | 
|  | includes(self, r) -> bool Does our value interval include another? 
 | 
|  | 
| "bool" | contains (self, "voff_t" voff2) | 
|  | contains(self, voff2) -> bool Does our value interval contain the specified value offset? 
 | 
|  | 
| "bool" | __ne__ (self, "vivl_t" r) | 
|  | ne(self, r) -> bool 
 | 
|  | 
| "bool" | __lt__ (self, "vivl_t" r) | 
|  | lt(self, r) -> bool 
 | 
|  | 
| "bool" | __gt__ (self, "vivl_t" r) | 
|  | gt(self, r) -> bool 
 | 
|  | 
| "bool" | __le__ (self, "vivl_t" r) | 
|  | le(self, r) -> bool 
 | 
|  | 
| "bool" | __ge__ (self, "vivl_t" r) | 
|  | ge(self, r) -> bool 
 | 
|  | 
| "int" | compare (self, "vivl_t" r) | 
|  | compare(self, r) -> int 
 | 
|  | 
| "bool" | __eq__ (self, *args) | 
|  | eq(self, r) -> bool 
 | 
|  | 
| "char const *" | dstr (self) | 
|  | dstr(self) -> char const * 
 | 
|  | 
| "void" | undef (self) | 
|  | undef(self) 
 | 
|  | 
| "bool" | defined (self) | 
|  | defined(self) -> bool 
 | 
|  | 
| "bool" | is_reg (self) | 
|  | is_reg(self) -> bool 
 | 
|  | 
| "bool" | is_stkoff (self) | 
|  | is_stkoff(self) -> bool 
 | 
|  | 
| "mreg_t" | get_reg (self) | 
|  | get_reg(self) -> mreg_t 
 | 
|  | 
| "sval_t" | get_stkoff (self) | 
|  | get_stkoff(self) -> sval_t 
 | 
|  | 
| "void" | inc (self, "sval_t" delta) | 
|  | inc(self, delta) 
 | 
|  | 
| "voff_t" | add (self, "int" width) | 
|  | add(self, width) -> voff_t 
 | 
|  | 
| "sval_t" | diff (self, "voff_t" r) | 
|  | diff(self, r) -> sval_t 
 | 
|  |