val var :
Core.t ->
?min:Core.bound ->
?max:Core.bound ->
Core.Var.t ->
Core.t * boolvar env min max x returns a new environment obtained by changing the bounds of x in env to min and max. If the bounds were implied by other known bounds (in other words, if the environment did not change) the associated boolean will be false.
val poly :
Core.t ->
Core.P.t ->
?min:Core.bound ->
?max:Core.bound ->
Core.Var.t ->
Core.t * boolpoly env poly min max x returns a new environment obtained by changing the bounds of poly in env to min and max. The polynomial is represented by the slack variable x. If the bounds were implied by other known bounds (in other words, if the environment did not change) the associated boolean will be false.