module MakeScalar:
Gives an interface Scalar.S to linear
expressions. Since to_float and
div have no meaning for linear
expressions, they are implemented as assert false. You should
never use them. Simialr behavior for the moment for comparison
functions. Moreover, the product of two linear expressions is a
linear expression only when at least one of them is a
constant. LinExpr.Not_linear is raised otherwise.
| Parameters: |
|
include Scalar.M
val minus_one : tval of_int : int -> tval neg : t -> t
val inv : t -> t
val equal : t -> t -> bool
val leq : t -> t -> bool
val geq : t -> t -> bool
val lt : t -> t -> bool
val gt : t -> t -> bool
val sign : t -> intReturns -1, 0 or 1 when its argument is respectively < 0, 0 or > 0.
val (~-) : t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val ( * ) : t -> t -> t
val (/) : t -> t -> t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (<) : t -> t -> bool
val (>) : t -> t -> bool