Searched defs:rbt_is_red (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/lib/
H A Drbt.h64 #define rbt_is_red(r) (!rbt_color(r)) macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A Drbt.h63 #define rbt_is_red(r) (!rbt_color(r)) macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Dbilbyfs.h1515 #define rbt_is_red(r) (!rbt_color(r)) macro

Completed in 34 milliseconds