CPSolver.Search.ValueSelector.Random (Fixpoint v0.11.2)

Summary

Functions

initialize(data)

Callback implementation for CPSolver.Search.ValueSelector.initialize/1.

partition(value)

Callback implementation for CPSolver.Search.ValueSelector.partition/1.

Functions

initialize(data)

Callback implementation for CPSolver.Search.ValueSelector.initialize/1.

partition(value)

Callback implementation for CPSolver.Search.ValueSelector.partition/1.