[ Reference Manual | Alphabetic Index ]

library(ic_prop_test_util)

Tools for testing global constraints

Predicates

make_n_random_seeds(+NSeeds, -Seeds)
Create random seeds for seed/1
make_n_random_variables(+NVars, +Min, +Max, -Vars)
Create random domain variables
random_bound_reduction_test(+Out, +Goal)
Run and keep waking a constraint until ground
random_bound_reduction_test(+Out, +Goal, +Vars)
Run and keep waking a constraint until ground
random_int_between(+Min, +Max, -X)
Create random integer
random_reduce_until_ground(?, ?, ?)
No description available

About


Generated from ic_prop_test_util.eci on 2022-09-03 14:26