CPSolver.Solution behaviour (Fixpoint v0.10.2)

Summary

Callbacks

handle(solution)

Functions

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

Callbacks

handle(solution)

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

Functions

default_handler()

run_handler(solution, handler)

solution_handler(handler, variables)