Searched refs:d_nil_ref (Results 1 – 2 of 2) sorted by relevance
236 std::map< TypeNode, Node > d_nil_ref; variable
1213 std::map< TypeNode, Node >::iterator it = d_nil_ref.find( tn ); in getNilRef()1214 if( it==d_nil_ref.end() ){ in getNilRef()1225 d_nil_ref[tn] = n; in setNilRef()