diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-10-30 15:27:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-30 15:27:10 -0700 |
| commit | 43ab3f4cd1aa5549cb1aa3c20a2d589614bcb8fc (patch) | |
| tree | cf7b5d7f73a4d4ddc34492334a7d0eb90b57b77b /src/theory/rep_set.cpp | |
| parent | 8dda9531995953c3cec094339002f2ee7cadae08 (diff) | |
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)
Diffstat (limited to 'src/theory/rep_set.cpp')
| -rw-r--r-- | src/theory/rep_set.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/rep_set.cpp b/src/theory/rep_set.cpp index 0530e7889..ea462e55c 100644 --- a/src/theory/rep_set.cpp +++ b/src/theory/rep_set.cpp @@ -96,7 +96,7 @@ void RepSet::add( TypeNode tn, Node n ){ } } Trace("rsi-debug") << "Add rep #" << d_type_reps[tn].size() << " for " << tn << " : " << n << std::endl; - Assert( n.getType().isSubtypeOf( tn ) ); + Assert(n.getType().isSubtypeOf(tn)); d_tmap[ n ] = (int)d_type_reps[tn].size(); d_type_reps[tn].push_back( n ); } @@ -204,7 +204,7 @@ unsigned RepSetIterator::domainSize(unsigned i) bool RepSetIterator::setQuantifier(Node q) { Trace("rsi") << "Make rsi for quantified formula " << q << std::endl; - Assert( d_types.empty() ); + Assert(d_types.empty()); //store indicies for (size_t i = 0; i < q[0].getNumChildren(); i++) { @@ -217,7 +217,7 @@ bool RepSetIterator::setQuantifier(Node q) bool RepSetIterator::setFunctionDomain(Node op) { Trace("rsi") << "Make rsi for function " << op << std::endl; - Assert( d_types.empty() ); + Assert(d_types.empty()); TypeNode tn = op.getType(); for( size_t i=0; i<tn.getNumChildren()-1; i++ ){ d_types.push_back( tn[i] ); @@ -273,7 +273,7 @@ bool RepSetIterator::initialize() type_reps->begin(), type_reps->end()); } }else{ - Assert( d_incomplete ); + Assert(d_incomplete); return false; } } @@ -344,7 +344,7 @@ int RepSetIterator::resetIndex(unsigned i, bool initial) int RepSetIterator::incrementAtIndex(int i) { - Assert( !isFinished() ); + Assert(!isFinished()); #ifdef DISABLE_EVAL_SKIP_MULTIPLE i = (int)d_index.size()-1; #endif |