Module Kappa_files

module Kappa_files: sig .. end

val open_out : string -> Pervasives.out_channel

val open_out_fresh : string -> string -> string -> Pervasives.out_channel

val path : string -> string

val mk_dir_r : string -> unit

val setCheckFileExists : batchmode:bool -> string -> unit

val setCheckFileExistsODE : batchmode:bool -> mode:Loggers.encoding -> unit

val set_dir : string -> unit

val get_dir : unit -> string

val set_ode : mode:Loggers.encoding -> string -> unit

val get_ode : mode:Loggers.encoding -> string

val set_marshalized : string -> unit

val with_marshalized : (Pervasives.out_channel -> unit) -> unit

val set_cflow : string -> unit

val get_cflow : string list -> string -> string

val with_cflow_file : string list -> string -> (Format.formatter -> unit) -> unit

val open_tasks_profiling : unit -> Pervasives.out_channel

val open_branch_and_cut_engine_profiling : unit -> Pervasives.out_channel

val set_flux : string -> int -> unit

val with_flux : string -> (Pervasives.out_channel -> unit) -> unit

val with_snapshot : string -> string -> int -> (Pervasives.out_channel -> unit) -> unit

val with_channel : string -> (Pervasives.out_channel -> unit) -> unit

val wrap_formatter : (Format.formatter -> unit) -> Pervasives.out_channel -> unit