public Graph Resolve()
{
_state = new MinimizeState(_afd);
_state.RemoveNotAcessibleNodes(_operands, _afd);
_state.ResolveProgramFunction(_operands);
_state.InitTable();
_state.Mark();
_state.PairAnalysis(_operands);
_state.Union();
_state.Generate(_operands);
_state.RemoveNotAccessibleNodesFromMinimized(_operands);
return(_state.GetMinimizedGraph());
}
