Module LustreContract.ModeTrace

module ModeTrace: sig .. end
Mode traces as cex.

type mode_tree 
A mode tree: hierarchical organization of modes.

Turns a list of mode paths into a mode tree.

val mode_paths_to_tree : LustreContract.mode list -> mode_tree
Turns a trace of lists of mode paths into a trace of trees.
val mode_trace_to_tree : LustreContract.mode list list -> mode_tree list
Formats a tree as a cex step in xml.
val fmt_as_cex_step_xml : Format.formatter -> mode_tree -> unit
Formats a tree as a cex step in JSON
val fmt_as_cex_step_json : Format.formatter -> mode_tree -> unit