Classes | Namespaces | Macros
dfpnRecord.h File Reference
#include "osl/checkmate/proofDisproof.h"
#include "osl/basic_type.h"

Go to the source code of this file.

Classes

struct  osl::checkmate::DfpnRecordBase
 
class  osl::checkmate::DfpnRecord
 

Namespaces

 osl
 
 osl::checkmate
 

Macros

#define NAGAI_DAG_TEST
 

Macro Definition Documentation

§ NAGAI_DAG_TEST

#define NAGAI_DAG_TEST

Definition at line 9 of file dfpnRecord.h.