*operation* int isAlsoBypass(Meta_edge *e) *wrapper* Path_constraint_exp *prefix* (@ return_val = 0; @) *wrapper* Require_through *prefix* (@ if (bypassing) return_val = bypassing->isAlsoBypass(e); else return_val = 0; @) *wrapper* Require_bypassing *prefix* (@ return_val = bypassing->isAlsoBypass(e); @) *wrapper* Bypassing_path_constraint *prefix* (@ Meta_edge_list_iterator next(*bypassing); Meta_edge* each; while (each = next()) if (each->g_equal(e)) break; if (each) return_val = 1; else return_val = 0; @)