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 |