Searched refs:freezeMaxBackjumps (Results 1 – 4 of 4) sorted by relevance
205 maxBackjumps = fromFlag (freezeMaxBackjumps freezeFlags)
1023 freezeMaxBackjumps :: Flag Int, function1042 freezeMaxBackjumps = Flag defaultMaxBackjumps, function1096 freezeMaxBackjumps (\v flags -> flags { freezeMaxBackjumps = v }) function
217 maxBackjumps = fromFlag (freezeMaxBackjumps freezeFlags)
1111 freezeMaxBackjumps :: Flag Int, function1130 freezeMaxBackjumps = Flag defaultMaxBackjumps, function1184 freezeMaxBackjumps (\v flags -> flags { freezeMaxBackjumps = v }) function