Module NativeInput

module NativeInput: sig .. end
Parse a file in native input format into a transition system
Author(s): Christoph Sticksel, Alain Mebsout


Printing from native input format


val of_channel : Pervasives.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 : 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