| AllocationFailure enum value | VampireKernel::Emergency | |
| Emergency(const Type &t) | VampireKernel::Emergency | [inline] |
| Emergency() | VampireKernel::Emergency | [inline, private] |
| TimeLimit enum value | VampireKernel::Emergency | |
| Type enum name | VampireKernel::Emergency | |
| type() const | VampireKernel::Emergency | [inline] |
| type_ | VampireKernel::Emergency | [private] |
| ~Emergency() | VampireKernel::Emergency | [inline] |
1.3.2