prop-src/list.h

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //  This file is generated automatically using Prop (version 2.3.6),
   3 //  last updated on Nov 2, 1999.
   4 //  The original source file is "list.ph".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #line 1 "list.ph"
   8 #ifndef list_operations_h
   9 #define list_operations_h
  10
  11 #include "basics.h"
  12 /*
  13 template <class T> int length (
  14 #line 6 "list.ph"
  15 a_List<T> *
  16 #line 6 "list.ph"
  17 );
  18 template <class T> a_List<T> *
  19 #line 7 "list.ph"
  20  append (a_List<T> *
  21 #line 7 "list.ph"
  22 , a_List<T> *
  23 #line 7 "list.ph"
  24 );
  25 template <class T> a_List<T> *
  26 #line 8 "list.ph"
  27  rev (a_List<T> *
  28 #line 8 "list.ph"
  29 );
  30 */
  31 #include "listimpl.h"
  32 #endif
  33 /*
  34 ------------------------------- Statistics -------------------------------
  35 Merge matching rules         = yes
  36 Number of DFA nodes merged   = 0
  37 Number of ifs generated      = 0
  38 Number of switches generated = 0
  39 Number of labels             = 0
  40 Number of gotos              = 0
  41 Adaptive matching            = enabled
  42 Fast string matching         = disabled
  43 Inline downcasts             = enabled
  44 --------------------------------------------------------------------------
  45 */