proofDisproof.h

#include "osl/basic_type.h"
#include <cassert>
#include <iosfwd>

proofDisproof.hのインクルード依存関係図

このグラフは、どのファイルから直接、間接的にインクルードされているかを示しています。

ソースコードを見る。

構成
class	osl::checkmate::ProofDisproof
	証明数(proof number)と反証数(disproof number). [詳細]
ネームスペース
namespace	osl
namespace	osl::checkmate
関数
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)