projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e87c147) | patch
Added Rational constructors that only take a numerator. The const char* Rational...
authorTim King <taking@cs.nyu.edu>
Tue, 25 May 2010 21:45:18 +0000 (21:45 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 25 May 2010 21:45:18 +0000 (21:45 +0000)
commit2635899db4a7622a206e2ec562d01e3337a92199
tree43222be9c81680f93120e8e82100b8d46b821f2atree
parente87c14798b99ccb586751d291b0eeb3208265bd8commit | diff
Added Rational constructors that only take a numerator. The const char* Rational and Integer constructors are now explicit. This means that 'Integer = 3;' and so on are no longer permitted.  This closes bug 121.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/util/integer.h diff | blob | history
src/util/rational.h diff | blob | history
test/unit/expr/node_manager_black.h diff | blob | history
test/unit/expr/node_manager_white.h diff | blob | history
test/unit/util/integer_black.h diff | blob | history
test/unit/util/rational_white.h diff | blob | history