[ library(ic_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

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

random_bound_reduction_test / 2