Searched refs:MaxFixpointIterations (Results 1 – 3 of 3) sorted by relevance
5791 unsigned MaxFixpointIterations = in run() local5798 AC.MaxFixpointIterations = MaxFixpointIterations; in run()5872 unsigned MaxFixpointIterations = in run() local5879 AC.MaxFixpointIterations = MaxFixpointIterations; in run()
2134 Configuration.MaxFixpointIterations.value_or(SetFixpointIterations); in runTillFixpoint()
1461 std::optional<unsigned> MaxFixpointIterations;