CPSolver.Store.PersistentTerm (Fixpoint v0.9.4)

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.