Opened 16 years ago

Last modified 15 years ago

#105 closed enhancement

Add support for new statements: pushassumption, popassumption — at Version 1

Reported by: zirkel Owned by:
Priority: minor Milestone:
Component: multiple Version:
Keywords: Cc:

Description (last modified by zirkel)

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 (1)

comment:1 by zirkel, 16 years ago

Description: modified (diff)
Note: See TracTickets for help on using tickets.