Kernel/src/bip_domain.c

105 		p_gec_insert_suspension(value vx, type tx, value vk, type tk, value vy, type ty, value vs, type ts),
106 		p_gec_start(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vd, type td, value ve, type te, value vres, type tres),
107 		p_gec_ent_start(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vd, type td, value ve, type te, value vres, type tres),
108 		p_gec_test(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vres, type tres),
109 		p_gec_comp(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vres, type tres),
805 p_gec_insert_suspension(value vx, type tx, value vk, type tk, value vy, type ty, value vs, type ts)
809     if (IsRef(tx)) {
829 p_gec_start(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vd, type td, value ve, type te, value vres, type tres)
836     if (IsMeta(tx)) {
839     } else if (!IsInteger(tx)) {
850     return p_gec_comp(vx, tx, vk, tk, vy, ty, vc, tc, vres, tres);
871 p_gec_ent_start(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vd, type td, value ve, type te, value vres, type tres)
878     if (IsMeta(tx)) {
881     } else if (!IsInteger(tx)) {
892     return p_gec_test(vx, tx, vk, tk, vy, ty, vc, tc, vres, tres);
907 p_gec_comp(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vres, type tres)
917     if (IsInteger(tx)) {
989 		Bind_Var(vx, tx, c, TINT)
1061 		Bind_Var(vx, tx, minx, TINT)
1101 p_gec_test(value vx, type tx, value vk, type tk, value vy, type ty, value vc, type tc, value vres, type tres)
1111     if (IsInteger(tx)) {