CPSolver.Solution behaviour (Fixpoint v0.8.30)

Summary

Callbacks

handle(solution)

Functions

default_handler()
run_handler(solution, handler)
solution_handler(handler, variables)

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

run_handler(solution, handler)

Link to this function

solution_handler(handler, variables)