00001 #ifndef _ID_NTESUKI_RESULT_H
00002 #define _ID_NTESUKI_RESULT_H
00003 #include "osl/checkmate/proofDisproof.h"
00004 #include <cassert>
00005 #include <iosfwd>
00006
00007 using namespace osl::checkmate;
00008
00009 namespace osl{
00010 namespace ntesuki{
00015 typedef ProofDisproof NtesukiResult;
00016 }
00017 }
00018 #endif
00019
00020
00021
00022
00023