Searched refs:MaxFixpointIterations (Results 1 – 3 of 3) sorted by relevance
5794 unsigned MaxFixpointIterations = in run() local5801 AC.MaxFixpointIterations = MaxFixpointIterations; in run()5874 unsigned MaxFixpointIterations = in run() local5881 AC.MaxFixpointIterations = MaxFixpointIterations; in run()
2127 Configuration.MaxFixpointIterations.value_or(SetFixpointIterations); in runTillFixpoint()
1486 std::optional<unsigned> MaxFixpointIterations;