[ library(fd_prop_test_util) | Reference Manual | Alphabetic Index ]
random_bound_reduction_test(+Out, +Goal, +Vars)
Run and keep waking a constraint until ground
- Out
- An output stream for printing the execution protocol
- Goal
- A goal, usually a constraint with domain variables
- Vars
- Subset of Goal's variables to be domain-reduced
Modes and Determinism
- random_bound_reduction_test(+, +, +) is det
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
See Also
random_bound_reduction_test / 2