Esempio n. 1
0
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";
}
Esempio n. 2
0
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";
  }
Esempio n. 3
0
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);
  }
}