[ library(probing_for_scheduling) | Reference Manual | Alphabetic Index ]
fun_to_cons_var(+CostFun, -ConsList, -CostVar)
Convert a cost expression to a variable and a list of constraints,
suitable to pass into probe_cstr_sched/7
- CostFun
- a cost function of the form accepted by probe_sched/5
- ConsList
- a variable which will be instantiated to a list of constraints,
suitable to pass into probe_cstr_sched/7
- CostVar
- a variable constrained to take a value greater than or equal to
the cost function
Description
If the user needs to use probe_cstr_sched instead of probe_sched, this predicate can be used to convert the cost function to a list of constraints and a cost variable suitable for passing to probe_cstr_sched
Resatisfiable
no
Examples
fun_to_cons_var(abs(X-10)+abs(Y-3),ConsList,Var)
See Also
probe_sched / 5, probe_cstr_sched / 7