Searched refs:d_base_label (Results 1 – 2 of 2) sorted by relevance
223 …for( std::map< TypeNode, Node >::iterator it = d_base_label.begin(); it != d_base_label.end(); ++i… in postProcessModel()760 …for( std::map< TypeNode, Node >::iterator it = d_base_label.begin(); it != d_base_label.end(); ++i… in check()1124 std::map< TypeNode, Node >::iterator it = d_base_label.find( tn ); in getBaseLabel()1125 if( it==d_base_label.end() ){ in getBaseLabel()1133 d_base_label[tn] = n_lbl; in getBaseLabel()1170 …Trace("sep-bound") << "overall bound for " << d_base_label[tn] << " : " << d_reference_bound_max[t… in getBaseLabel()1172 …Node slem = NodeManager::currentNM()->mkNode( kind::SUBSET, d_base_label[tn], d_reference_bound_ma… in getBaseLabel()
235 std::map< TypeNode, Node > d_base_label; variable