Fixpoint v0.14.4

CPSolver.Distributed (Fixpoint v0.14.4)

Link to this section Summary

Functions

call(node, solver, mod, function, args)
choose_worker_node(nodes \\ worker_nodes())
worker_nodes(node_list \\ [Node.self() | Node.list()])

Link to this section Functions

Link to this function

call(node, solver, mod, function, args)

Link to this function

choose_worker_node(nodes \\ worker_nodes())

Link to this function

worker_nodes(node_list \\ [Node.self() | Node.list()])