public void failurePruning(int failure_time) { super.failurePruning(failure_time); this.counterMoves = 0; this.g = new DelegateForest<MetaVariable, ConstraintNetwork>(); this.resolvers.clear(); this.metaVarsToMetaCons.clear(); }