diff options
Diffstat (limited to 'src/theory/arith/arithvar_set.h')
-rw-r--r-- | src/theory/arith/arithvar_set.h | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/src/theory/arith/arithvar_set.h b/src/theory/arith/arithvar_set.h index f8a23fee0..68937acc4 100644 --- a/src/theory/arith/arithvar_set.h +++ b/src/theory/arith/arithvar_set.h @@ -2,10 +2,10 @@ /*! \file arithvar_set.h ** \verbatim ** Original author: taking - ** Major contributors: mdeters + ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) + ** Copyright (c) 2009, 2010, 2011 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 @@ -17,13 +17,14 @@ ** \todo document this file **/ -#include <vector> -#include "theory/arith/arith_utilities.h" - +#include "cvc4_private.h" #ifndef __CVC4__THEORY__ARITH__ARTIHVAR_SET_H #define __CVC4__THEORY__ARITH__ARTIHVAR_SET_H +#include <vector> +#include "theory/arith/arith_utilities.h" + namespace CVC4 { namespace theory { namespace arith { @@ -33,7 +34,7 @@ namespace arith { * This class is designed to provide constant time insertion, deletion, and element_of * and fast iteration. * - * ArithVarSets come in 2 varieties ArithVarSet, and PermissiveBackArithVarSet. + * ArithVarSets come in 2 varieties: ArithVarSet, and PermissiveBackArithVarSet. * The default ArithVarSet assumes that there is no knowledge assumed about ArithVars * that are greater than allocated(). Asking isMember() of such an ArithVar * is an assertion failure. The cost of doing this is that it takes O(M) @@ -324,8 +325,8 @@ public: } }; -}; /* namespace arith */ -}; /* namespace theory */ -}; /* namespace CVC4 */ +}/* CVC4::theory::arith namespace */ +}/* CVC4::theory namespace */ +}/* CVC4 namespace */ #endif /* __CVC4__THEORY__ARITH__ARTIHVAR_SET_H */ |