// // PRIVATE METHODS // private void init() { setAlive(true); result.clear(); H.clear(); s = null; a = null; }
// // PRIVATE METHODS // private void init() { setAlive(true); result.clear(); untried.clear(); unbacktracked.clear(); s = null; a = null; }