projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d6589f) | patch
Adds substituteDelta() to DeltaRational which given a value for delta returns the...
authorTim King <taking@cs.nyu.edu>
Tue, 14 Aug 2012 17:55:33 +0000 (17:55 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 14 Aug 2012 17:55:33 +0000 (17:55 +0000)
commit5a6a08df0838b7fb70275a70ddc942c3ac802081
tree672a1b44d4b489390e8973980c250812de0afabctree
parent8d6589fee6583ee7036c83a25d7e71471f6f5fd5commit | diff
Adds substituteDelta() to DeltaRational which given a value for delta returns the corresponding rational value.
src/theory/arith/delta_rational.h diff | blob | history