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 : t
val of_int : int -> t
val 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 -> int
Returns -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