DfsSolver.cpp File Reference

#include "SgSystem.h"
#include "Hex.hpp"
#include "VCSet.hpp"
#include "HexProp.hpp"
#include "HexBoard.hpp"
#include "GraphUtils.hpp"
#include "Resistance.hpp"
#include "DfsSolver.hpp"
#include "Time.hpp"
#include "VCUtils.hpp"
#include "BoardUtils.hpp"
#include "BitsetIterator.hpp"
#include "EndgameUtils.hpp"
#include "ProofUtil.hpp"
#include <cmath>
#include <algorithm>
#include <boost/scoped_ptr.hpp>

Go to the source code of this file.

---

Detailed Description

Todo:

Finish converting over to using HexStates.

Definition in file DfsSolver.cpp.