Creates a new boolean variable, using an automatically generated name.
Convenience constructor which creates a boolean variable reifying the given constraint.
Convenience constructor which creates a boolean variable reifying the given constraint.
This a shortcut for {{ val b = BooleanVar() b #<-> constr b }}
the constraint which will be removed from its model and replaced with a reified constraint
Creates a new boolean variable.
Creates a new boolean variable.
variable's identifier.