[ 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

- Author: Joachim Schimpf, Coninfer Ltd
- Copyright © Joachim Schimpf, Coninfer Ltd
- Date: $Date: 2017/09/28 22:40:03 $

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