struct elementary_interval - elementary interval [left, right] More...

Data Fields | |
| union { | |
| struct rb_node rb_node | |
| struct list_head list | |
| }; | |
| mpz_t | left |
| mpz_t | right |
| mpz_t | size |
| enum elementary_interval_flags | flags |
| struct expr * | expr |
struct elementary_interval - elementary interval [left, right]
: seg_tree rb node : list node for linearized tree : left endpoint : right endpoint : interval size (right - left) : flags : associated expression
| union { ... } |
| enum elementary_interval_flags elementary_interval::flags |
| mpz_t elementary_interval::left |
Referenced by set_to_intervals().
| mpz_t elementary_interval::right |
Referenced by set_to_intervals().
| mpz_t elementary_interval::size |