Module `NativeInput`

Parse a file in native input format into a transition system

author: Christoph Sticksel, Alain Mebsout

Printing from native input format

val of_channel : Stdlib.in_channel -> TransSys.t SubSystem.t: Parse from the channel

val of_file : string -> TransSys.t SubSystem.t: Parse from the file

Printing to native format

val pp_print_native : Stdlib.Format.formatter -> TransSys.t -> unit: Print a transition system in native format

val dump_native_to : TransSys.t -> string -> unit: Dump a transition system to a given file in native format

val dump_native : TransSys.t -> unit: Dump a transition system to a file in native format