Kernel/src/bip_domain.c

95 static int	p_dom_range(value vd, type td, value vmi, type tmi, value vma, type tma),
98 		p_lt_test(value vh, type th, value vmi, type tmi, value vma, type tma),
100 		p_linear_term_range_ge(value vt, type tt, value vres, type tres, value vmi, type tmi, value vma, type tma, value vnew, type tnew, value voff, type toff),
101 		p_linear_term_range_eq(value vt, type tt, value vres, type tres, value vmi, type tmi, value vma, type tma, value vnew, type tnew, value voff, type toff),
102 		p_linear_term_range_only(value vt, type tt, value vres, type tres, value vmi, type tmi, value vma, type tma, value vnew, type tnew, value voff, type toff),
103 		_linear_term_range(value vt, type tt, value vres, type tres, value vmi, type tmi, value vma, type tma, value vnew, type tnew, value voff, type toff, int ge),
237 p_dom_range(value vd, type td, value vmi, type tmi, value vma, type tma)
243     Check_Output_Integer(tmi)
248     Request_Unify_Integer(vmi, tmi, min)
314 p_lt_test(value vh, type th, value vmi, type tmi, value vma, type tma)
488 p_linear_term_range_ge(value vt, type tt, value vres, type tres, value vmi, type tmi, value vma, type tma, value vnew, type tnew, value voff, type toff)
490     return _linear_term_range(vt, tt, vres, tres, vmi, tmi, vma, tma,
496 p_linear_term_range_eq(value vt, type tt, value vres, type tres, value vmi, type tmi, value vma, type tma, value vnew, type tnew, value voff, type toff)
498     return _linear_term_range(vt, tt, vres, tres, vmi, tmi, vma, tma,
504 p_linear_term_range_only(value vt, type tt, value vres, type tres, value vmi, type tmi, value vma, type tma, value vnew, type tnew, value voff, type toff)
506     return _linear_term_range(vt, tt, vres, tres, vmi, tmi, vma, tma,
511 _linear_term_range(value vt, type tt, value vres, type tres, value vmi, type tmi, value vma, type tma, value vnew, type tnew, value voff, type toff, int ge)
623 	Bind_Var(vmi, tmi, min, TINT)
670 	Bind_Var(vmi, tmi, k2, TINT)
675 	Bind_Var(vmi, tmi, var1, TREF)
691 	    Bind_Var(vmi, tmi, min, TINT)
700 	    Bind_Var(vmi, tmi, min, TINT)