diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-15 11:19:08 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-16 15:23:00 -0500 |
commit | f06ae104dc3caf9b4ff01a0b2d49b09ace88faad (patch) | |
tree | 488669992e6d375450e18a2c92659be3f93f7a88 /src/theory/rep_set.h | |
parent | 5e29fdffd2f72212d699316f9b27e1bf9d6c715c (diff) |
Some cleanup and copyright updating
* update some copyrights for 2013
* cleaned up some comments/ifdefs, indentation
* some spelling corrections
* add some missing makefiles
Diffstat (limited to 'src/theory/rep_set.h')
-rw-r--r-- | src/theory/rep_set.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/theory/rep_set.h b/src/theory/rep_set.h index dc31f2d5f..019f69ec2 100644 --- a/src/theory/rep_set.h +++ b/src/theory/rep_set.h @@ -14,8 +14,8 @@ #include "cvc4_private.h" -#ifndef __CVC4__REP_SET_H -#define __CVC4__REP_SET_H +#ifndef __CVC4__THEORY__REP_SET_H +#define __CVC4__THEORY__REP_SET_H #include "expr/node.h" #include <map> @@ -45,7 +45,7 @@ public: void complete( TypeNode t ); /** debug print */ void toStream(std::ostream& out); -}; +};/* class RepSet */ //representative domain typedef std::vector< int > RepDomain; @@ -104,9 +104,9 @@ public: /** debug print */ void debugPrint( const char* c ); void debugPrintSmall( const char* c ); -}; +};/* class RepSetIterator */ -} -} +}/* CVC4::theory namespace */ +}/* CVC4 namespace */ -#endif
\ No newline at end of file +#endif /* __CVC4__THEORY__REP_SET_H */ |