enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some documentation, and make it possible to "make doc" on a clean source tree (post-configure)

3 files changed, 9 insertions, 9 deletions

diff --git a/src/theory/arith/normal_form.cpp b/src/theory/arith/normal_form.cpp
index 7c3e5ba93..766a8fc0a 100644
--- a/src/theory/arith/normal_form.cpp
+++ b/src/theory/arith/normal_form.cpp
@@ -128,7 +128,7 @@ Monomial Monomial::operator*(const Monomial& mono) const {
   return Monomial::mkMonomial(newConstant, newVL);
 }
 
-vector<Monomial> Monomial::sumLikeTerms(const vector<Monomial> & monos) {
+vector<Monomial> Monomial::sumLikeTerms(const std::vector<Monomial> & monos) {
   Assert(isSorted(monos));
 
   Debug("blah") << "start sumLikeTerms" << std::endl;
@@ -161,7 +161,7 @@ void Monomial::print() const {
   Debug("normal-form") <<  getNode() << std::endl;
 }
 
-void Monomial::printList(const vector<Monomial>& list) {
+void Monomial::printList(const std::vector<Monomial>& list) {
   for(vector<Monomial>::const_iterator i = list.begin(), end = list.end(); i != end; ++i) {
     const Monomial& m =*i;
     m.print();
diff --git a/src/theory/arith/row_vector.cpp b/src/theory/arith/row_vector.cpp
index f3b979bfd..01131c4c9 100644
--- a/src/theory/arith/row_vector.cpp
+++ b/src/theory/arith/row_vector.cpp
@@ -30,8 +30,8 @@ bool RowVector::noZeroCoefficients(const VarCoeffArray& arr){
   return true;
 }
 
-void RowVector::zip(const vector< ArithVar >& variables,
-                    const vector< Rational >& coefficients,
+void RowVector::zip(const std::vector< ArithVar >& variables,
+                    const std::vector< Rational >& coefficients,
                     VarCoeffArray& output){
 
   Assert(coefficients.size() == variables.size() );
@@ -48,8 +48,8 @@ void RowVector::zip(const vector< ArithVar >& variables,
   }
 }
 
-RowVector::RowVector(const vector< ArithVar >& variables,
-                     const vector< Rational >& coefficients,
+RowVector::RowVector(const std::vector< ArithVar >& variables,
+                     const std::vector< Rational >& coefficients,
                      std::vector<uint32_t>& counts):
   d_rowCount(counts)
 {
@@ -135,8 +135,8 @@ void RowVector::printRow(){
 }
 
 ReducedRowVector::ReducedRowVector(ArithVar basic,
-                                   const vector<ArithVar>& variables,
-                                   const vector<Rational>& coefficients,
+                                   const std::vector<ArithVar>& variables,
+                                   const std::vector<Rational>& coefficients,
                                    std::vector<uint32_t>& count):
   RowVector(variables, coefficients, count), d_basic(basic){
 
diff --git a/src/theory/shared_term_manager.cpp b/src/theory/shared_term_manager.cpp
index 564fb776f..8103a149a 100644
--- a/src/theory/shared_term_manager.cpp
+++ b/src/theory/shared_term_manager.cpp
@@ -183,7 +183,7 @@ void SharedTermManager::addEq(TNode eq, Theory* thReason) {
 }
 
 
-void SharedTermManager::collectExplanations(SharedData* pData, set<Node>& s) const {
+void SharedTermManager::collectExplanations(SharedData* pData, std::set<Node>& s) const {
   Theory* expTh = pData->getExplainingTheory();
   if(expTh == NULL) {
     // This equality is directly from SAT, no need to ask a theory for an explanation