- add_con(+Constraint, ++Options, +Handle)
- Add a constraint to the fd and linear solvers
- get_probect(?)
- No description available
- set_probect(?)
- No description available
- set_up_probe(+Tasks, +Constraints, -Cost, ++Options, -Handle)
- Sets up a linear probe for a set of constraints
This implementation of probing is a call to an external linear solver, whose optimal solution is assigned to the problem variables as tentative variables.
A counter is created an initialised to zero. At every probe it is incremented. The counter can be set using set_probect(N), and can be read using get_probect(N)