diff options
Diffstat (limited to 'src/expr/attr_var_name.h')
-rw-r--r-- | src/expr/attr_var_name.h | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/src/expr/attr_var_name.h b/src/expr/attr_var_name.h deleted file mode 100644 index b3267c7dc..000000000 --- a/src/expr/attr_var_name.h +++ /dev/null @@ -1,40 +0,0 @@ -/********************* */ -/** attr_var_name.h - ** Original author: mdeters - ** Major contributors: none - ** Minor contributors (to current version): dejan - ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University - ** See the file COPYING in the top-level source directory for licensing - ** information. - ** - ** The node attribute describing variable names. - **/ - -#ifndef __CVC4__EXPR__ATTR_VAR_NAME_H -#define __CVC4__EXPR__ATTR_VAR_NAME_H - -#include "expr_attribute.h" - -namespace CVC4 { -namespace expr { - -class VarName; - -// an "attribute type" for types -// this is essentially a traits structure -class VarName_attr { -public: - enum { hash_value = 11 }; // could use typeid but then different on different machines/compiles - typedef Type value_type;//Node? - static const Type_attr marker; -}; - -extern AttrTable<Type_attr> type_table; - -}/* CVC4::expr namespace */ -}/* CVC4 namespace */ - -#endif /* __CVC4__EXPR__ATTR_TYPE_H */ |