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 Typetype () 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:
Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2