CPSolver.Store.Local (Fixpoint v0.10.2)

Summary

Functions

handle_request(kind, domain_list, variable, operation, args)
handle_request_impl(atom, domain, operation, args)
update(store, variable, operation, args)

Callback implementation for CPSolver.ConstraintStore.update/4.

Functions

handle_request(kind, domain_list, variable, operation, args)

handle_request_impl(atom, domain, operation, args)

update(store, variable, operation, args)

Callback implementation for CPSolver.ConstraintStore.update/4.