cprover
|
This is the complete list of members for path_storaget, including all inherited members.
empty() const | path_storaget | inline |
peek() | path_storaget | inline |
pop() | path_storaget | inline |
private_peek()=0 | path_storaget | privatepure virtual |
private_pop()=0 | path_storaget | privatepure virtual |
push(const patht &next_instruction, const patht &jump_target)=0 | path_storaget | pure virtual |
size() const =0 | path_storaget | pure virtual |
~path_storaget()=default | path_storaget | virtual |