CPSolver.Solution behaviour (Fixpoint v0.8.24)

Summary

Callbacks

Link to this callback

handle(solution)

@callback handle(solution :: %{required(reference()) => number() | boolean()}) :: any()

Functions

Link to this function

default_handler()

Link to this function

reconcile(solution, variables)

Link to this function

run_handler(solution, handler)

Link to this function

solution_handler(handler, variables)