cprover
path_storaget Member List

This is the complete list of members for path_storaget, including all inherited members.

empty() constpath_storagetinline
peek()path_storagetinline
pop()path_storagetinline
private_peek()=0path_storagetprivatepure virtual
private_pop()=0path_storagetprivatepure virtual
push(const patht &next_instruction, const patht &jump_target)=0path_storagetpure virtual
size() const =0path_storagetpure virtual
~path_storaget()=defaultpath_storagetvirtual