Home | History | Annotate | Download | only in runtime

Lines Matching full:backtracking

38  *  backtracking.
81 		// wack everything related to backtracking and memoization
82 		state.backtracking = 0;
111 		if ( state.backtracking>0 ) {
747     public int getBacktrackingLevel() { return state.backtracking; }
749     public void setBacktrackingLevel(int n) { state.backtracking = n; }
751     /** Return whether or not a backtracking attempt failed. */
867 		if ( state.backtracking>0 ) {
868 			System.out.print(" backtracking="+state.backtracking);
878 		if ( state.backtracking>0 ) {
879             System.out.print(" backtracking="+state.backtracking);