Lines Matching refs:Combined
819 NormalForm::value_type Combined;
820 Combined.reserve(LDisjunction.size() + RDisjunction.size());
822 std::back_inserter(Combined));
824 std::back_inserter(Combined));
825 Res.emplace_back(Combined);
848 NormalForm::value_type Combined;
849 Combined.reserve(LConjunction.size() + RConjunction.size());
851 std::back_inserter(Combined));
853 std::back_inserter(Combined));
854 Res.emplace_back(Combined);