sig
type agg_op = Pluse | Multe
type bin_op = Dive | Mode
type un_op = Abse
type var = Var of Fcl_var.Fd.t | Aux of int
type t =
Agg of Fcl_expr.agg_op * (int * Fcl_expr.t) list * int
| Bin of Fcl_expr.bin_op * Fcl_expr.t * Fcl_expr.t
| Un of Fcl_expr.un_op * Fcl_expr.t
| Inte of int
| Fde of Fcl_expr.var
val fprint : Pervasives.out_channel -> Fcl_expr.t -> unit
val eval : Fcl_expr.t -> int
val min_of_expr : Fcl_expr.t -> int
val max_of_expr : Fcl_expr.t -> int
val min_max_of_expr : Fcl_expr.t -> int * int
val compare_expr : Fcl_expr.t -> Fcl_expr.t -> int
val compare_intexpr : int * Fcl_expr.t -> int * Fcl_expr.t -> int
val reduce : Fcl_expr.t -> Fcl_expr.t
val constrain : Fcl_expr.t -> Fcl_linear.operator -> Fcl_cstr.t
end