use std.textio.line;

package qsim_types is

  constant name_max_length : natural := 20;
  type token_id_type is range 0 to integer'high;

  type token_type is record
      source_name : string(1 to name_max_length);
      source_name_length : natural;
      id : token_id_type;
      creation_time : time;
    end record;

  type token_vector is array (positive range <>) of token_type;

  type arc_type is record
      transaction : boolean;  -- flips when an arc changes
      token : token_type;
    end record arc_type;

  type arc_vector is array (positive range <>) of arc_type;

  type info_detail_type is (none, summary, trace);

  procedure write ( L : inout line;  t : in token_type;
                    creation_time_unit : in time := ns );

end package qsim_types;

<div align="center"><br /><script type="text/javascript"><!--
google_ad_client = "pub-7293844627074885";
//468x60, Created at 07. 11. 25
google_ad_slot = "8619794253";
google_ad_width = 468;
google_ad_height = 60;
//--></script>
<script type="text/javascript" src="http://pagead2.googlesyndication.com/pagead/show_ads.js">
</script><br />&nbsp;</div>