module Make:
Parameters: |
|
module NtsSys:sig
..end
typecontrol =
NtsSys.control
typeanotations =
NtsSys.anotations
type
nts_basic_block = {
|
mutable head_label : |
|||
|
mutable block : |
(* | Current control state, nts_trans_label_list corresponds to what changes/is called before transiting | *) |
|
mutable block_succs : |
(* | transitions between blocks. Nexts blocks and the transisions being described. None is in the case the last control state is an error state. It's also a convenience for the buiding process. | *) |
type
nts_automaton_cfg = {
|
mutable nts_cfg_name : |
|
mutable cfg_anot : |
|
nts_cfg_init_block : |
|
nts_cfg_final_block : |
|
nts_cfg_error_block : |
|
nts_input_vars : |
|
nts_output_vars : |
|
nts_local_vars : |
|
nts_blocks_transitions : |