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

/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/lib/
H A Drbt.h67 #define rbt_set_black(r) do { (r)->rbt_parent_color |= 1; } while (0) macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A Drbt.h66 #define rbt_set_black(r) do { (r)->rbt_parent_color |= 1; } while (0) macro
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Dbilbyfs.h1518 #define rbt_set_black(r) do { (r)->rbt_parent_color |= 1; } while (0) macro

Completed in 83 milliseconds