Approximation Approximator::find ( const NullaryFunction & fun) { if (Ob val = fun.find()) { return Approximation(val, m_less); } return unknown(); }
void insert_nullary_functions () { const auto & functions = signature.nullary_functions(); POMAGMA_INFO("Inserting " << functions.size() << " nullary functions"); for (auto pair : functions) { NullaryFunction * fun = pair.second; if (not fun->find()) { Ob val = carrier.try_insert(); POMAGMA_ASSERT(val, "no space to insert nullary functions"); fun->insert(val); } } }