diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-13 17:27:12 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-08-13 17:27:12 +0000 |
| commit | ca7639a67b6928fbb9aa2a38d4739a650189f67f (patch) | |
| tree | d8c0f8cd427d3c29c7ad0f9bffc509b1d8651583 /src/prop/minisat/mtl/Vec.h | |
| parent | f2ab48d27a62791d4db46ab00c27041410965d2d (diff) | |
Adding the changes to the original copy
Diffstat (limited to 'src/prop/minisat/mtl/Vec.h')
| -rw-r--r-- | src/prop/minisat/mtl/Vec.h | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/src/prop/minisat/mtl/Vec.h b/src/prop/minisat/mtl/Vec.h index e780aa167..364991aa9 100644 --- a/src/prop/minisat/mtl/Vec.h +++ b/src/prop/minisat/mtl/Vec.h @@ -17,13 +17,19 @@ DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. **************************************************************************************************/ -#ifndef Vec_h -#define Vec_h +#include "cvc4_private.h" + +#ifndef CVC4_MiniSat_Vec_h +#define CVC4_MiniSat_Vec_h #include <cstdlib> #include <cassert> #include <new> +namespace CVC4 { +namespace prop { +namespace minisat { + //================================================================================================= // Automatically resizable arrays // @@ -129,5 +135,8 @@ void vec<T>::clear(bool dealloc) { sz = 0; if (dealloc) free(data), data = NULL, cap = 0; } } +}/* CVC4::prop::minisat namespace */ +}/* CVC4::prop namespace */ +}/* CVC4 namespace */ -#endif +#endif /* CVC4_MiniSat_Vec_h */ |