projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16b38e0) | patch
Adds ensureConstraint(...) to ConstraintDatabase. This is a slightly optimized way...
authorTim King <taking@cs.nyu.edu>
Sat, 24 Nov 2012 23:32:04 +0000 (23:32 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 24 Nov 2012 23:32:04 +0000 (23:32 +0000)
commite0cf8fd2f61a34b65a0baf3585fd2bfdd0165b2b
tree4e5792db54495fca7da3f5db8e4a94aa283c1761tree
parent16b38e0965a9b16b7c1aa1cddb4bf243631159e4commit | diff
Adds ensureConstraint(...) to ConstraintDatabase. This is a slightly optimized way of doing getConstraint() if the user already has a ValueCollection&.
src/theory/arith/constraint.h diff | blob | history