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