Module ida_graph :: Class interval_t

Class interval_t

object --+
         |
        interval_t

Proxy of C++ interval_t class.

Instance Methods

bool

__eq__(self, r)

interval_t

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

bool

__ne__(self, r)

__repr__(self)
repr(x)

__swig_destroy__(self)

bool

contains(self, x)

bool

empty(self)

intersect(self, r)

int

length(self)

make_union(self, r)

move_by(self, shift)

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

init(self)
(Constructor)

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

Returns: interval_t
Overrides: object.__init__

repr(self)
(Representation operator)

repr(x)

Overrides: object.__repr__: (inherited documentation)

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)

Class interval_t

__init__(self) (Constructor)

__repr__(self) (Representation operator)

thisown

x0

x1

init(self)
(Constructor)

repr(self)
(Representation operator)