diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-20 19:22:21 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-20 19:22:21 -0500 |
commit | 03abb94451a8bc2fb59b5b2fc95c931715575dc0 (patch) | |
tree | 350839369fa22e97b5497abf76bfad339c706030 /src/theory/theory_model.cpp | |
parent | bf863b1f3cee791585e2c04e5f40afcadcdf113c (diff) |
More unused code elimination (#2339)
Diffstat (limited to 'src/theory/theory_model.cpp')
-rw-r--r-- | src/theory/theory_model.cpp | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/src/theory/theory_model.cpp b/src/theory/theory_model.cpp index 42818d581..34e1d455b 100644 --- a/src/theory/theory_model.cpp +++ b/src/theory/theory_model.cpp @@ -542,36 +542,6 @@ bool TheoryModel::areDisequal(TNode a, TNode b) } } -//for debugging -void TheoryModel::printRepresentativeDebug( const char* c, Node r ){ - if( r.isNull() ){ - Trace( c ) << "null"; - }else if( r.getType().isBoolean() ){ - if( areEqual( r, d_true ) ){ - Trace( c ) << "true"; - }else{ - Trace( c ) << "false"; - } - }else{ - Trace( c ) << getRepresentative( r ); - } -} - -void TheoryModel::printRepresentative( std::ostream& out, Node r ){ - Assert( !r.isNull() ); - if( r.isNull() ){ - out << "null"; - }else if( r.getType().isBoolean() ){ - if( areEqual( r, d_true ) ){ - out << "true"; - }else{ - out << "false"; - } - }else{ - out << getRepresentative( r ); - } -} - bool TheoryModel::areFunctionValuesEnabled() const { return d_enableFuncModels; |