diff options
author | Tim King <taking@cs.nyu.edu> | 2010-05-20 22:51:48 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-05-20 22:51:48 +0000 |
commit | 5321d62fce6c747fa9d11e9df5b2ef8c4e25de21 (patch) | |
tree | 87685c6a9f32d99f09de28a02fc80378a94b6ec9 /src/prop/prop_engine.h | |
parent | ff70395fd3dcde9f68eda1c6a8bd70e6491f7458 (diff) |
Added the division symbol to the parser, and minimal support for it in TheoryArith. Also directly hacked in support for theoryOf() to work for equalities where the left hand is a variable of type real.
Diffstat (limited to 'src/prop/prop_engine.h')
0 files changed, 0 insertions, 0 deletions