Main Page
Namespaces
Classes
Files
File List
File Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
include
osl
ntesuki
ntesukiResult.h
Go to the documentation of this file.
1
#ifndef _ID_NTESUKI_RESULT_H
2
#define _ID_NTESUKI_RESULT_H
3
#include "
osl/checkmate/proofDisproof.h
"
4
#include <cassert>
5
#include <iosfwd>
6
7
using namespace
osl::checkmate;
8
9
namespace
osl{
10
namespace
ntesuki{
15
typedef
ProofDisproof
NtesukiResult
;
16
}
17
}
18
#endif
/* _ID_NTESUKI_RESULT_H */
19
// ;;; Local Variables:
20
// ;;; mode:c++
21
// ;;; c-basic-offset:2
22
// ;;; End:
23
Generated on Sun Jul 21 2013 13:37:25 by
1.8.4