Lines Matching defs:Combined

1727       NormalForm::value_type Combined;
1728       Combined.reserve(LDisjunction.size() + RDisjunction.size());
1730                 std::back_inserter(Combined));
1732                 std::back_inserter(Combined));
1733       Res.emplace_back(Combined);
1759       NormalForm::value_type Combined;
1760       Combined.reserve(LConjunction.size() + RConjunction.size());
1762                 std::back_inserter(Combined));
1764                 std::back_inserter(Combined));
1765       Res.emplace_back(Combined);