Commit 42781767 authored by Maximilien Colange's avatar Maximilien Colange

Remove dependency on Batteries.

parent aba08bdc
<*>: bin_annot
<*.cm{o,x}> or <main.native>: package(batteries), debug, custom
<*.cm{o,x}> or <main.native>: debug, custom
<costs.ml>: pp(camlp4o pa_macro.cmo @TIAMO_MACROS@)
open Batteries
open Printf
type log_t = Info | Debug | Warning | Error | Fatal
......
open Batteries
open Options
open Printf
open Reachability
......
......@@ -255,7 +255,7 @@ end
let verify (module O : OPTIONS) tafile qfile =
let module TA = (val !O.ta_module) in
let ta = TA.from_file tafile qfile () in
(* TA.print_timed_automaton Batteries.stdout ta; *)
(* TA.print_timed_automaton stdout ta; *)
let module WO_tmp = (val !O.walk_order : O.PARTIAL_WO) in
let module ABS = (val !O.abstraction) in
let module INCL = (val !O.inclusion) in
......
open Common
open Batteries.Printf
open Printf
open Dbm
open Uta
......@@ -34,10 +34,10 @@ sig
val global_m_bounds : timed_automaton -> int array
val global_m_invariant : timed_automaton -> UDbm.Dbm.t
(** print functions *)
val print_discrete_state : 'b BatIO.output -> timed_automaton -> discrete_state -> unit
val print_transition : 'b BatIO.output -> timed_automaton -> transition -> unit
val print_timed_automaton : 'b BatIO.output -> timed_automaton -> unit
val print_extended_state : 'b BatIO.output -> timed_automaton -> (discrete_state * MDbm.Dbm.t) -> unit
val print_discrete_state : out_channel -> timed_automaton -> discrete_state -> unit
val print_transition : out_channel -> timed_automaton -> transition -> unit
val print_timed_automaton : out_channel -> timed_automaton -> unit
val print_extended_state : out_channel -> timed_automaton -> (discrete_state * MDbm.Dbm.t) -> unit
val transition_to_string : timed_automaton ->
(discrete_state * UDbm.Dbm.t * ((clock_t * int) list) * discrete_state) -> string
val from_file : string -> string -> ?scale:int -> ?enlarge:int -> unit -> timed_automaton
......
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