All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Classes | Namespaces | Constant Groups | Functions
proofDisproof.h File Reference
#include "osl/move.h"
#include <cassert>
#include <iosfwd>
Include dependency graph for proofDisproof.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  osl::checkmate::ProofDisproof
 証明数(proof number)と反証数(disproof number). More...
 

Namespaces

 osl
 attackDefense.h
 
 osl::checkmate
 詰将棋関係
 

Constant Groups

 osl
 attackDefense.h
 
 osl::checkmate
 詰将棋関係
 

Functions

bool osl::checkmate::operator== (const ProofDisproof &l, const ProofDisproof &r)
 
bool osl::checkmate::operator!= (const ProofDisproof &l, const ProofDisproof &r)
 
bool osl::checkmate::operator< (const ProofDisproof &l, const ProofDisproof &r)
 
std::ostream & osl::checkmate::operator<< (std::ostream &os, const ProofDisproof &proofDisproof)