src/core/attr_type.h

   1 /*********************                                           -*- C++ -*-  */
   2 /** attr_type.h
   3  ** This file is part of the CVC4 prototype.
   4  ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
   5  ** Courant Institute of Mathematical Sciences
   6  ** New York University
   7  ** See the file COPYING in the top-level source directory for licensing
   8  ** information.
   9  **
  10  **/
  11
  12 #ifndef __CVC4_ATTR_TYPE_H
  13 #define __CVC4_ATTR_TYPE_H
  14
  15 #include "core/expr_attribute.h"
  16
  17 namespace CVC4 {
  18
  19 class Type;
  20
  21 // an "attribute type" for types
  22 // this is essentially a traits structure
  23 class Type_attr {
  24 public:
  25   enum { hash_value = 11 }; // could use typeid but then different on different machines/compiles
  26   typedef Type value_type;//Expr?
  27   static const Type_attr marker;
  28 };
  29
  30 extern AttrTable<Type_attr> type_table;
  31
  32 } /* CVC4 namespace */
  33
  34 #endif /* __CVC4_ATTR_TYPE_H */