CPSolver.Store.Registry (Fixpoint v0.3.0)

Summary

Functions

Link to this function

update(store, variable, operation, args)

Callback implementation for CPSolver.ConstraintStore.update/4.

Link to this function

variable_proc_id(variable)