Opened 17 years ago
Closed 17 years ago
#32 closed enhancement (fixed)
casting between ints and reals
| Reported by: | Stephen Siegel | Owned by: | ywei |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | symbolic | Version: | 1.0 |
| Keywords: | cast real integer symbolic | Cc: |
Description
The symbolic package needs to support some way to cast between ints and reals. You could simply consider ints to be a subset of reals, so ints could be used anywhere a real is used, so
1+3.4
would be legal.
Or you could add explicit cast operations. Or something else. But something has to be done.
(I think CVC3 considers Integer to be a subset of Real, but you should check that.)
Change History (2)
comment:1 by , 17 years ago
| Status: | new → accepted |
|---|
comment:2 by , 17 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Note:
See TracTickets
for help on using tickets.
Fixed. The SymInteger now is a subtype of SymRational.