CPSolver.Variable.Agent (Fixpoint v0.1.2)

Summary

Functions

Link to this function

create(space, variable)

Link to this function

dispose(variable)

Link to this function

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