CPSolver.Variable.Agent (Fixpoint v0.2.3)

Summary

Functions

Link to this function

create(variable)

Link to this function

dispose(variable)

Link to this function

operation(var, operation, args \\ [])