Module `LustreContract.ModeTrace`

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 : mode list -> mode_tree

Turns a list of mode paths into a mode tree.

Turns a trace of lists of mode paths into a trace of trees.

val mode_trace_to_tree : mode list list -> mode_tree list

Turns a trace of lists of mode paths into a trace of trees.

Formats a tree as a cex step in xml.

val fmt_as_cex_step_xml : Stdlib.Format.formatter -> mode_tree -> unit

Formats a tree as a cex step in xml.

Formats a tree as a cex step in JSON

val fmt_as_cex_step_json : Stdlib.Format.formatter -> mode_tree -> unit: Formats a tree as a cex step in JSON