CPSolver.Store.Vector (Fixpoint v0.10.2)

Summary

Functions

handle_request_impl(atom, vector, variable, operation, args)

lookup(vector, variable)

update(store, variable, operation, args)

Callback implementation for CPSolver.ConstraintStore.update/4.