Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

assert.hpp File Reference

#include <iostream>
#include <cstdlib>
#include <string>
#include "Tracer.hpp"

Go to the source code of this file.

Namespaces

namespace  std

Compounds

class  MemoryException
class  MyException

Defines

#define NO_MEMORY   throw MemoryException (__FILE__,__LINE__);
#define ASS(Cond)


Define Documentation

#define ASS Cond   ) 
 

#define NO_MEMORY   throw MemoryException (__FILE__,__LINE__);
 


Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2