prop-src/alldefs.v

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //  This file is generated automatically using Prop (version 2.3.2),
   3 //  last updated on Mar 21, 1997.
   4 //  The original source file is "alldefs.pv".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #define PROP_PRINTER_USED
   8 #define PROP_REGEXP_MATCHING_USED
   9 #define PROP_PARSER_USED
  10 #define PROP_TUPLE2_USED
  11 #include <propdefs.h>
  12 #line 1 "alldefs.pv"
  13 #include "aggen.h"
  14 #include "ast.h"
  15 #include "basics.h"
  16 #include "bitfield.h"
  17 #include "collection.h"
  18 #include "constraint.h"
  19 #include "dataflow.h"
  20 #include "datatype.h"
  21 #include "env.h"
  22 #include "funmap.h"
  23 #include "graphedges.h"
  24 #include "graphtype.h"
  25 #include "grsgen.h"
  26 #include "ir.h"
  27 #include "keywords.h"
  28 #include "list.h"
  29 #include "listimpl.h"
  30 #include "logicgen.h"
  31 #include "matchcom.h"
  32 #include "metasyntax.h"
  33 #include "parsegen.h"
  34 #include "parser.h"
  35 #include "pat.h"
  36 #include "setl-ast.h"
  37 #include "setlgen.h"
  38 #include "timespace.h"
  39 #include "wam.h"
  40 #line 28 "alldefs.pv"
  41 /*
  42 ------------------------------- Statistics -------------------------------
  43 Merge matching rules         = yes
  44 Number of DFA nodes merged   = 0
  45 Number of ifs generated      = 0
  46 Number of switches generated = 0
  47 Number of labels             = 0
  48 Number of gotos              = 0
  49 Adaptive matching            = disabled
  50 Fast string matching         = disabled
  51 Inline downcasts             = disabled
  52 --------------------------------------------------------------------------
  53 */