ProofUtil.hpp File Reference

#include "Hex.hpp"
#include "BenzeneSolver.hpp"
#include "StoneBoard.hpp"
#include "ICEngine.hpp"
#include "SolverDB.hpp"
#include "SortedSequence.hpp"

Go to the source code of this file.

Namespaces
namespace	ProofUtil
	Deduce equivalent states, etc.
Functions
bitset_t	ProofUtil::MaximumProofSet (const HexBoard &brd, HexColor toPlay)
	Compute the maximum possible proof.
bitset_t	ProofUtil::InitialProofForOpponent (const HexBoard &brd, HexColor toPlay)
	The proof for a losing state is the union the proofs for each move.
bool	ProofUtil::ShrinkProof (bitset_t &proof, const StoneBoard &board, HexColor loser, const ICEngine &ice)
	Gives all cells outside of the proof to loser, computes fillin using ice, removes any cell in proof that is filled-in.
template<class HASH , class DB , class DATA >
int	ProofUtil::StoreTranspositions (SolverDB< HASH, DB, DATA > &db, const DATA &data, const HexState &state, const bitset_t &proof, HexColor winner)
	Computes and stores in db the transpostions of this proof on the given boardstate.
template<class HASH , class DB , class DATA >
int	ProofUtil::StoreFlippedStates (SolverDB< HASH, DB, DATA > &db, const DATA &data, const HexState &state, const bitset_t &proof, HexColor winner)
	Computes and stores in db the flipped transpostions of this proof on the given boardstate.

---

Detailed Description

Definition in file ProofUtil.hpp.