public SuperSlimMind(Graph g, bool proofFindingMode = false, bool weaklyFixable = false)
{
_graph = g;
BuildLineGraph();
_coloringAnalyzer = new SuperSlimColoringAnalyzer(_lineGraph, GetEdgeColorList);
_swapAnalyzer = new SuperSlimSwapAnalyzer(g.N, proofFindingMode, proofFindingMode || weaklyFixable);
_wonBoards = new HashSet <SuperSlimBoard>();
_remainingBoards = new List <SuperSlimBoard>();
MissingEdgeIndex = -1;
}
public GreedyWinFilter(SuperSlimSwapAnalyzer swapAnalyzer)
{
_swapAnalyzer = swapAnalyzer;
}