int maximum_literal_number_index()

in include/poac/core/sat.hpp [63:76]

• 14 lines of code
• 4 McCabe index (conditional complexity)

    int maximum_literal_number_index(const std::vector<std::vector<int>>& clauses) {
        std::map<int, int> frequency;
        for (const auto& clause : clauses) {
            for (const auto& literal : clause) {
                auto result = frequency.insert({ literal_to_index(literal), 1 });
                if (!result.second) {
                    result.first->second++;
                }
            }
        }
        auto x = std::max_element(frequency.begin(), frequency.end(),
                [](const auto& p1, const auto& p2) { return p1.second > p2.second; });
        return x->first;
    }