Opened 16 years ago
Last modified 15 years ago
#105 closed enhancement
Add support for new statements: pushassumption, popassumption — at Version 2
| 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 (2)
comment:1 by , 16 years ago
| Description: | modified (diff) |
|---|
comment:2 by , 16 years ago
| Description: | modified (diff) |
|---|
Note:
See TracTickets
for help on using tickets.
