removereductions.cc 181 Bytes
Newer Older
1 2 3 4
#include "srconflict.ih"

void SRConflict::removeReductions(StateItem::Vector &itemVector)
{
5 6
    for (auto &rm: d_rmReduction)
        StateItem::removeReduction(rm, itemVector);
7
}