Module JkindParser

Extract the transition system from the dumpfiles of jKind

val jkind_scope : Scope.t
val jkind_vars_of_kind2_statevar : TransSys.t -> (StateVar.t * (LustreIdent.t * int * LustreNode.call_cond list) list) list StateVar.StateVarMap.t -> StateVar.t -> StateVar.t list

Returns all jKind variables corresponding to a Kind2 variable, given a map for lustre streams and callsites information.

val get_jkind_transsys : string -> TransSys.t

Return a transition system extracted from a call to jKind.

val jkind_id : string

Identifier for jKind nodes