Searched refs:MaxFixpointIterations (Results 1 – 3 of 3) sorted by relevance
5790 unsigned MaxFixpointIterations = in run() local5797 AC.MaxFixpointIterations = MaxFixpointIterations; in run()5871 unsigned MaxFixpointIterations = in run() local5878 AC.MaxFixpointIterations = MaxFixpointIterations; in run()
2130 Configuration.MaxFixpointIterations.value_or(SetFixpointIterations); in runTillFixpoint()
1460 std::optional<unsigned> MaxFixpointIterations;