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 /* _ID_NTESUKI_RESULT_H */ 00019 // ;;; Local Variables: 00020 // ;;; mode:c++ 00021 // ;;; c-basic-offset:2 00022 // ;;; End: 00023