ntesukiResult.h
Go to the documentation of this file.
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 
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines