Lines Matching defs:backtracking
42 :backtracking,
69 backtracking::
70 tracks the backtracking depth
100 # self.backtracking = 0
112 self.backtracking = 0
392 raise( BacktrackingFailed ) if @state.backtracking > 0
825 # backtracking has been enabled
827 def backtracking?
828 @state.backtracking > 0
832 @state.backtracking
836 @state.backtracking = n
840 @state.backtracking += 1
850 @state.backtracking -= 1
857 alias backtracking backtracking_level
858 alias backtracking= backtracking_level=
885 @state.backtracking > 0 and @error_output.printf(
886 " (in backtracking mode: depth = %s)", @state.backtracking
893 @state.backtracking > 0 and @error_output.printf(
894 " (in backtracking mode: depth = %s)", @state.backtracking
1081 @state.backtracking > 0 and raise BacktrackingFailed
1090 @state.backtracking > 0 and raise BacktrackingFailed
1108 @state.backtracking > 0 and raise BacktrackingFailed