CPSolver.Store.PersistentTerm (Fixpoint v0.8.14)
Summary
Functions
Link to this function
handle_request(kind, term_ref, variable, operation, args)
Link to this function
handle_request_impl(atom, domain, operation, args)
Link to this function
update(store, variable, operation, args)
Callback implementation for CPSolver.ConstraintStore.update/4
.