Fixpoint
v0.10.2
Pages
Modules
Search documentation of Fixpoint
Settings
CPSolver.Store.PersistentTerm
(Fixpoint v0.10.2)
Summary
Functions
handle_request(kind, term_ref, 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, term_ref, variable, operation, args)
handle_request_impl(atom, domain, operation, args)
update(store, variable, operation, args)
Callback implementation for
CPSolver.ConstraintStore.update/4
.