Commit 8b03bf5e authored by Maximilien Colange's avatar Maximilien Colange

Uppaal automata parsed as a "bare" TA, i.e. no Dbm involved, for a proper...

Uppaal automata parsed as a "bare" TA, i.e. no Dbm involved, for a proper separation of the functions.
parent 8e472272
......@@ -87,7 +87,7 @@ sig
val global_mbounds : ta -> int array
(* to load a TA from a file *)
val from_file : string -> ta
val from_file : string -> string -> ?scale:int -> ?enlarge:int -> unit -> ta
(** PRINT FUNCTIONS **)
val string_of_state : ta -> state -> string
......
......@@ -202,9 +202,9 @@ struct
out ")";
Buffer.contents buf
let from_file filename _ ?scale:(scale=1) ?enlarge:(enlarge=0) () =
let from_file filename queryname ?scale:(scale=1) ?enlarge:(enlarge=0) () =
{
t = BareTA.from_file filename;
t = BareTA.from_file filename queryname ~scale:scale ~enlarge:enlarge ();
lu_tbl = DSHashtbl.create 1024;
m_tbl = DSHashtbl.create 1024;
}
......
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment