projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 130de2a) | patch
Adds a number of new capabilities to DeltaRational. This adds DeltaRationalException...
authorTim King <taking@cs.nyu.edu>
Wed, 21 Nov 2012 18:36:29 +0000 (18:36 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 21 Nov 2012 18:36:29 +0000 (18:36 +0000)
commit369440efdcf26321f588b6b485e40f7c609f12da
tree94932d687496f055d2da18698d8bf34de9fafd56tree
parent130de2a67cb3c9d4e009d921e3a60a669aedfaffcommit | diff
Adds a number of new capabilities to DeltaRational. This adds DeltaRationalException which can be called when an operation on a DeltaRational does not have well formed semantics. This allows for things like multiplying two DeltaRationals, which may or may not result in a DeltaRational.
src/theory/arith/delta_rational.cpp diff | blob | history
src/theory/arith/delta_rational.h diff | blob | history