Fixpoint v0.13.2

CPSolver.Solution behaviour (Fixpoint v0.13.2)

Link to this section Summary

Callbacks

handle(solution)

Functions

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

Link to this section Callbacks

Link to this callback

handle(solution)

Specs

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

Link to this section Functions

Link to this function

default_handler()

Link to this function

run_handler(solution, handler)

Link to this function

solution_handler(handler, variables)