diff options
Diffstat (limited to 'src/theory/arith/row_vector.cpp')
-rw-r--r-- | src/theory/arith/row_vector.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
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){ |