Searched defs:states_union (Results 1 – 2 of 2) sorted by relevance
3881 states_union (state_t state1, state_t state2, reserv_sets_t reservs) in states_union() function