62-63] and from [Mueller 97b].
Definition in file GoSafetySolver.h.
#include "GoStaticSafetySolver.h"
Go to the source code of this file.
Classes | |
class | GoSafetySolver |
Improved static detection of safe blocks and regions Uses static rules to find 1-vital, 2-vital and safely surrounded areas. More... |