Main Page
|
Namespace List
|
Class Hierarchy
|
Compound List
|
File List
|
Compound Members
|
File Members
|
Related Pages
VampireKernel::Emergency Class Reference
#include <
q.hpp
>
List of all members.
Public Types
enum
Type
{
AllocationFailure
,
TimeLimit
}
Public Member Functions
Emergency
(const
Type
&t)
~Emergency
()
const
Type
&
type
() const
Private Member Functions
Emergency
()
Private Attributes
Type
type_
Member Enumeration Documentation
enum
VampireKernel::Emergency::Type
Enumeration values:
AllocationFailure
TimeLimit
Constructor & Destructor Documentation
VampireKernel::Emergency::Emergency
(
const
Type
&
t
)
[inline]
VampireKernel::Emergency::~
Emergency
(
)
[inline]
VampireKernel::Emergency::Emergency
(
)
[inline, private]
Member Function Documentation
const
Type
& VampireKernel::Emergency::type
(
)
const
[inline]
Member Data Documentation
Type
VampireKernel::Emergency::type_
[private]
The documentation for this class was generated from the following file:
q.hpp
Generated on Sat Jun 28 15:09:00 2003 for Vampire by
1.3.2