Work stack More...
#include <extensional.hh>
Public Member Functions | |
Work (void) | |
Initialize as empty. More... | |
bool | empty (void) const |
Check whether work stack is empty. More... | |
void | push (Space &home, int i, int n) |
Push new work entry for position i and value n. More... | |
void | pop (Space &home, int &i, int &n) |
Pop current top entry and set position i and value n. More... | |
Work stack
Definition at line 425 of file extensional.hh.
|
inline |
Initialize as empty.
Definition at line 175 of file incremental.hpp.
|
inline |
Check whether work stack is empty.
Definition at line 179 of file incremental.hpp.
|
inline |
Push new work entry for position i and value n.
Definition at line 184 of file incremental.hpp.
|
inline |
Pop current top entry and set position i and value n.
Definition at line 189 of file incremental.hpp.