Module ida_graph :: Class interval_t
[frames] | no frames]

Class interval_t

object --+
         |
        interval_t

Proxy of C++ interval_t class

Instance Methods
 
__repr__(self)
repr(x)
bool
empty(self)
 
intersect(self, r)
 
make_union(self, r)
 
move_by(self, shift)
interval_t
__init__(self)
__init__(self, y0, y1) -> interval_t __init__(self, s) -> interval_t
int
length(self)
bool
contains(self, x)
bool
__eq__(self, r)
bool
__ne__(self, r)
 
__swig_destroy__(self)
 
__del__(self)

Inherited from object: __delattr__, __format__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __sizeof__, __str__, __subclasshook__

Properties
  thisown
The membership flag
  x0
interval_t_x0_get(self) -> int
  x1
interval_t_x1_get(self) -> int

Inherited from object: __class__

Method Details

__repr__(self)
(Representation operator)

 

repr(x)

Overrides: object.__repr__
(inherited documentation)

__init__(self)
(Constructor)

 

__init__(self, y0, y1) -> interval_t __init__(self, s) -> interval_t

Returns: interval_t
Overrides: object.__init__

Property Details

thisown

The membership flag

Get Method:
unreachable(x)
Set Method:
unreachable(x, v)

x0

interval_t_x0_get(self) -> int

Get Method:
unreachable.interval_t_x0_get(self)
Set Method:
unreachable.interval_t_x0_set(self, x0)

x1

interval_t_x1_get(self) -> int

Get Method:
unreachable.interval_t_x1_get(self)
Set Method:
unreachable.interval_t_x1_set(self, x1)