Opened 16 years ago
Closed 15 years ago
#105 closed enhancement (wontfix)
Add support for new statements: pushassumption, popassumption
| Reported by: | zirkel | Owned by: | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | multiple | Version: | |
| Keywords: | Cc: |
Description (last modified by )
Environment should maintain a stack of assumptions. Suppose the current assumption is p, and you then call:
pushassumption(q);
The new assumption is p && q.
Calling:
popassumption();
makes the assumption again p.
Change History (4)
comment:1 by , 16 years ago
| Description: | modified (diff) |
|---|
comment:2 by , 16 years ago
| Description: | modified (diff) |
|---|
comment:3 by , 16 years ago
comment:4 by , 15 years ago
| Resolution: | → wontfix |
|---|---|
| Status: | new → closed |
The functionality that is required for (say) the loop technique is more complicated than this, involving queues as well as stacks, etc. So it is not clear adding this functionality would help anything.
Note:
See TracTickets
for help on using tickets.
Do we still need this?