Module Dolmen_model.Rat

Value definition

************************************************************************

type t = Q.t
val ops : t Value.ops

ops for real values.

val mk : t -> Value.t

real value creation.

Evluation functions

************************************************************************

val rational : string -> Value.t option
val lt : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val gt : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val geq : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val leq : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val minus : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val add : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val sub : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val mul : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val div : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val div_e : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val div_t : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val div_f : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val mod_e : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val mod_t : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val mod_f : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val floor : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val ceiling : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val truncate : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val round : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val is_int : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val is_rat : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option
val floor_to_int : cst:Dolmen.Std.Expr.Term.Const.t -> Value.t option