CristalCaveGem » LustreC

  let pp fmt (f,r) = 

    match f, r with

    | ST.I(a,b), ST.J(c,d) ->

    | ST.I(a,b), ST.JInfty ->  Format.fprintf fmt "[%f, %f] + oo" a b 

    | ST.Empty, _ -> Format.fprintf fmt "???"

env

let rec salsa_expr2value_t vars_env cst_env e  = 

  let salsa_expr2value_t = salsa_expr2value_t vars_env cst_env in

  let binop op e1 e2 t = 

    let x = salsa_expr2value_t e1 in

	let s = 

	  if new_float = 0. then "0." else

	    (* We have to convert it into our format: int * int * real *)

	    let _ = Format.flush_str_formatter () in

	in

	Parser_lustre.signed_const Lexer_lustre.token (Lexing.from_string s) 

      in

  | _      -> raise (Salsa.Prelude.Error "Entschuldigung, salsaExpr2value_t case not yet implemented")

let rec get_salsa_free_vars vars_env constEnv absenv e =

  let f = get_salsa_free_vars vars_env constEnv absenv in

  match e with