mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity

Improve html pretty printer for RCF package

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-01-27 11:24:23 -08:00
parent 77f58269ed
commit 4624919786
8 changed files with 17 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/realclosure/realclosure.cpp
View file

@ -1300,7 +1300,7 @@ namespace realclosure {
}
void mk_infinitesimal(numeral & r) {
mk_infinitesimal(symbol(next_infinitesimal_idx()), symbol(next_infinitesimal_idx()), r);
mk_infinitesimal(symbol(next_infinitesimal_idx()+1), symbol(next_infinitesimal_idx()+1), r);
}
void refine_transcendental_interval(transcendental * t) {
@ -1352,7 +1352,7 @@ namespace realclosure {
}
void mk_transcendental(mk_interval & proc, numeral & r) {
mk_transcendental(symbol(next_transcendental_idx()), symbol(next_transcendental_idx()), proc, r);
mk_transcendental(symbol(next_transcendental_idx()+1), symbol(next_transcendental_idx()+1), proc, r);
}
void mk_pi(numeral & r) {