getvar
getvar |
Purpose
Get the decision variable associated to a pseudo boolean.
Synopsis
function getvar(bv:boolvar):mpvar
Argument
|
bv
|
A pseudo boolean decision variable
|
Return value
The decision variable associated to the given parameter.
Further information
Each pseudo boolean variable is associated to two decision variables of type
mpvar. This function makes it possible to retrieve these variables: it can be applied to both the variable itself (
e.g.
getvar(bv)) and its negation (
e.g.
getvar(not bv)).
Module