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] |