|
| __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
|
|