My Project
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

namespace  osl
 
namespace  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.