Fixpoint
v0.9.7
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.Store.Direct
(Fixpoint v0.9.7)
Summary
Functions
handle_request(atom, variable, operation, args)
update(store, variable, operation, args)
Callback implementation for
CPSolver.ConstraintStore.update/4
.
Functions
handle_request(atom, variable, operation, args)
update(store, variable, operation, args)
Callback implementation for
CPSolver.ConstraintStore.update/4
.