projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b2e8be) | patch
Replacing an inefficient use of std::find(...) to use std::set's find() instead.
authorTim King <taking@google.com>
Mon, 9 Nov 2015 19:16:47 +0000 (11:16 -0800)
committerTim King <taking@google.com>
Mon, 9 Nov 2015 19:16:47 +0000 (11:16 -0800)
commit50c8533760bfd5b1f803d52bc4318c544521e6af
treeb089e94f6607c25b3b77207ffcb605cc531be3d7tree
parent6b2e8be53f0839809a2f76df0754b37a7e56db08commit | diff
Replacing an inefficient use of std::find(...) to use std::set's find() instead.
src/theory/uf/symmetry_breaker.cpp diff | blob | history