00001 //---------------------------------------------------------------------------- 00002 /** @file GoBensonSolver.cpp 00003 See GoBensonSolver.h. 00004 */ 00005 //---------------------------------------------------------------------------- 00006 00007 #include "SgSystem.h" 00008 #include "GoBensonSolver.h" 00009 00010 #include "GoBlock.h" 00011 #include "GoSafetyUtil.h" 00012 #include "SgDebug.h" 00013 00014 namespace { 00015 00016 const bool DEBUG_BENSON = false; 00017 00018 } 00019 00020 //---------------------------------------------------------------------------- 00021 00022 void GoBensonSolver::FindSafePoints(SgBWSet* safe) 00023 { 00024 safe->Clear(); 00025 GoStaticSafetySolver::FindSafePoints(safe); 00026 00027 if (DEBUG_BENSON) 00028 GoSafetyUtil::WriteStatistics("GoBensonSolver", Regions(), safe); 00029 } 00030