CPSolver.Constraint.Channel (Fixpoint v0.20.2)
Channel constraint.
Given an array of boolean variables b and an integer variable x,
(b[i] = true) iff (x = i)
Link to this section Summary
Functions
Callback implementation for CPSolver.Constraint.arguments/1.
Callback implementation for CPSolver.Constraint.new/1.
Link to this section Functions
Link to this function
arguments(args)
Callback implementation for CPSolver.Constraint.arguments/1.
Link to this function
new(args)
Callback implementation for CPSolver.Constraint.new/1.
Link to this function