Kernel/src/bip_domain.c

169 	-> mode = BoundArg(1, CONSTANT);
171 	B_UNSAFE|U_SIMPLE) -> mode = BoundArg(2, CONSTANT);
173 	B_UNSAFE|U_SIMPLE) -> mode = BoundArg(2, CONSTANT);
175 	-> mode = BoundArg(2, CONSTANT)|BoundArg(3, CONSTANT);
177 	B_UNSAFE|U_GROUND) -> mode = BoundArg(3, GROUND)|BoundArg(4, CONSTANT);
179 	B_UNSAFE|U_GROUND) -> mode = BoundArg(3, GROUND)|BoundArg(4, CONSTANT);
181 	B_UNSAFE|U_GROUND) -> mode = BoundArg(3, GROUND)|BoundArg(4, CONSTANT);
186 	BoundArg(2, CONSTANT);
189 	BoundArg(2, CONSTANT);
192 	BoundArg(2, CONSTANT);
194 	-> mode = BoundArg(1, NONVAR);
200 	-> mode = BoundArg(5, CONSTANT);
202 	B_UNSAFE|U_GROUND) -> mode = BoundArg(5, CONSTANT);
204 	-> mode = BoundArg(5, CONSTANT);
206 	-> mode = BoundArg(5, CONSTANT);
210 	-> mode = BoundArg(2, CONSTANT) | BoundArg(3, NONVAR) |
211 	BoundArg(4, CONSTANT);
213 	B_UNSAFE|U_UNIFY) -> mode = BoundArg(6, CONSTANT) | BoundArg(7, NONVAR);
217 	B_UNSAFE|U_SIMPLE) -> mode = BoundArg(3, CONSTANT);
219 	B_UNSAFE|U_SIMPLE) -> mode = BoundArg(3, CONSTANT);
221 	B_UNSAFE|U_GROUND) -> mode = BoundArg(2, CONSTANT);
225 	B_UNSAFE|U_GROUND) -> mode = BoundArg(3, GROUND);