static void lookup(const iset &data, spi sp) { citer res = std::lower_bound(data.begin(), data.end(), sp); std::cout << *sp; if (res == data.end() || *res != sp) std::cout << " not found\n"; else std::cout << " found\n"; }
static void lookup(const iset& data, spi sp) { // look for stored object that matches sp citer res = lower_bound(data.begin(), data.end(), sp); cout << *sp; if (res == data.end() || *res != sp) cout << " not found\n"; else cout << " found\n"; }
iset term(State &begin) { if (*begin == 'c') { begin++; iset ret; iset s = factor(begin); set_difference( universal_set.begin(), universal_set.end(), s.begin(), s.end(), inserter(ret, ret.end())); return ret; } else { return factor(begin); } }