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

Change a function name.

parent 332ae767
......@@ -90,7 +90,7 @@ sig
val from_file : string -> ta
(** PRINT FUNCTIONS **)
val state_to_string : ta -> state -> string
val string_of_state : ta -> state -> string
val print_timed_automaton : out_channel -> ta -> unit
end
......
......@@ -174,7 +174,7 @@ struct
(* PRINT functions *)
(* indirection *)
let print_discrete_state chan ta s =
Printf.fprintf chan "%s" (BareTA.state_to_string ta.t s)
Printf.fprintf chan "%s" (BareTA.string_of_state ta.t s)
let print_extended_state chan ta (s,z) =
print_discrete_state chan ta s;
......@@ -192,13 +192,13 @@ struct
let buf = Buffer.create 128 in
let out = Buffer.add_string buf in
out "(";
out (BareTA.state_to_string ta.t source);
out (BareTA.string_of_state ta.t source);
out ",";
out (Ita.print_guard (clocks ta) guard);
out ",";
out (Ita.print_resets (clocks ta) ulist);
out ",";
out (BareTA.state_to_string ta.t target);
out (BareTA.string_of_state ta.t target);
out ")";
Buffer.contents buf
......
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