package lutin

  1. Overview
  2. Docs
package lutin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module LutExeSource

Sourcetype t
Sourceval make : MainArg.t -> string list -> string -> t
Sourceval in_var_list : t -> Exp.var list
Sourceval out_var_list : t -> Exp.var list
Sourceval loc_var_list : t -> Exp.var list
Sourcetype control_state
Sourcetype data_state = {
  1. ins : Value.OfIdent.t;
  2. outs : Value.OfIdent.t;
  3. mems : Value.OfIdent.t;
}
Sourcetype guard
Sourceval guard_to_string : guard -> string
Sourcetype behavior =
  1. | Goto of guard * control_state
  2. | Raise of string
  3. | Vanish
Sourcetype behavior_gen =
  1. | NoMoreBehavior of int
  2. | SomeBehavior of behavior * unit -> behavior_gen
Sourceval get_init_state : t -> control_state
Sourceval clear : t -> t
Sourceval get_init_pres : t -> Value.OfIdent.t
Sourceval get_behavior_gen : t -> Var.env_in -> Var.env -> control_state -> unit -> t * behavior_gen
Sourceval find_one_sol : t -> guard -> t * guard * (Var.env_out * Var.env_loc)
Sourceval step_rdbg : ctx -> string -> t -> control_state -> data_state -> (ctx -> t -> control_state -> data_state -> e) -> e
Sourcetype internal_state
Sourceval get_init_internal_state : t -> internal_state
Sourceexception Stop
Sourceexception Exception of string
Sourceval dump : t -> unit
Sourceval string_of_control_state : control_state -> string