Module TagcovSource

Sourcetype label = string
Sourcetype uniq_id = string
Sourcetype node_call = label * uniq_id
Sourcetype wire = label
Sourcetype rank = int
Sourcetype port =
  1. | In of int
  2. | Out of int
  3. | Clk
Sourcetype call_graph = link list
Sourcetype clock = string * Data.v
Sourcetype call_tbl = (node_call, link list * Event.var list * Event.var list * Event.var list * Event.src_info) Hashtbl.t
Sourceval call_tbl : call_tbl
Sourceval verbose : bool ref
Sourceval log_file : string
Sourcetype caller_tbl = (node_call, node_call) Hashtbl.t
Sourceval caller_tbl : caller_tbl
Sourceval top : string * string
Sourceval caller : node_call -> node_call
Sourceval caller_update : node_call -> node_call -> unit
Sourcetype tag = int
Sourcemodule Tags : sig ... end
Sourcetype tags = Tags.t
Sourcetype tags_ref =
  1. | Tag of Tags.t
  2. | Ref of node_call * wire
Sourcetype tag_tbl = (node_call * wire, tag) Hashtbl.t
Sourcetype tags_tbl = (node_call * wire, Data.v * tags_ref) Hashtbl.t
Sourceval tag_cpt : int ref
Sourceval tag_tbl : tag_tbl
Sourceval tags_tbl : tags_tbl
Sourceval make_tag : node_call -> wire -> unit
Sourceval get_tags : node_call -> wire -> node_call * wire * Data.v * tags
Sourceval get_tags_nf : node_call -> wire -> node_call * wire * Data.v * tags
Sourceval make_tag_ref : node_call -> node_call -> wire -> wire -> unit
Sourceval get_tag : node_call -> wire -> tag
Sourceval pack : 'a list -> int -> 'a list list
Sourceval int_list_to_str : int list -> string list
Sourceval tags2str : Tags.t -> string
Sourceval tags_ref2str : tags_ref -> string
Sourceval val_to_string : Data.v -> string
Sourceval d : unit -> unit
Sourceval update_tags : node_call -> wire -> tags -> unit
Sourceval update_val : node_call -> wire -> Data.v -> unit
Sourceexception NoSourceInfo
Sourceval get_src : Event.t -> Event.src_info
Sourcetype src_info_select = (string * (int * int) * (int * int) * Event.src_info_atom option) list
Sourceval cpt : int ref
Sourceval pre_tbl : ((string * (int * int) * (int * int) * Event.src_info_atom option) list, node_call) Hashtbl.t
Sourceval node_tbl : (string * (string * (int * int) * (int * int) * Event.src_info_atom option) list, node_call) Hashtbl.t
Sourceval get_nodecall : Event.t -> node_call
Sourceval get_val : Event.var -> Data.subst list -> Data.v
Sourceval link2str : (('a * string) * 'b * string) -> string
Sourceval pdf_viewer : string ref
Sourceval get_url : string -> string
Sourceval gen_dot : Event.var list -> Event.var list -> Event.var list -> Event.src_info -> node_call -> bool -> bool -> call_graph -> unit
Sourceval clk_stack : clock list ref
Sourceval nc_stack : node_call list ref
Sourceval lk_stack : link list list ref
Sourceval pre_enb : int ref
Sourceval pre_input_tbl : (node_call, link) Hashtbl.t
Sourceval last_arrow_first : bool ref
Sourceval add_tags : node_call -> link list -> tags -> unit
Sourceval boolred_do : int -> int -> node_call -> link list -> link list -> unit
Sourceval propagate_tags_predef : node_call -> node_call -> Event.t -> link list -> 'a -> link list -> unit
Sourceval propagate_out_tags : node_call -> node_call -> Event.t -> link list -> link list -> clock list -> unit
Sourceval update_tagcov : Event.t -> unit
Sourceval next : Event.t -> Event.t
Sourceval nexti : Event.t -> int -> Event.t
Sourceval dump_call_tbl : unit -> unit
Sourceval gen_all_dot : Event.t -> unit
Sourceval gen_one_dot : Event.t -> unit
Sourceval init : unit -> unit