Searched refs:MaxFixpointIterations (Results 1 – 3 of 3) sorted by relevance
5399 unsigned MaxFixpointIterations = in run() local5406 AC.MaxFixpointIterations = MaxFixpointIterations; in run()5477 unsigned MaxFixpointIterations = in run() local5484 AC.MaxFixpointIterations = MaxFixpointIterations; in run()
1952 Configuration.MaxFixpointIterations.value_or(SetFixpointIterations); in runTillFixpoint()
1430 std::optional<unsigned> MaxFixpointIterations;