Module InputParser

type assignment_lhs = StateVar.t * int list

Represents the lhs of an assignment. For non-array state vars, the index list is empty. For array state vars, the index list indicates which cell of the array must be assigned.

val read_file : string list -> string -> (assignment_lhs * Term.t list) list

Parse a JSON or CSV input file. The format is determined from the extension.

val read_csv_file : string list -> string -> (StateVar.t * Term.t list) list

Parse a CSV input file

val read_json_file : string list -> string -> (assignment_lhs * Term.t list) list

Parse a JSON input file