Searched refs:getNilRef (Results 1 – 2 of 2) sorted by relevance
281 Node getNilRef( TypeNode tn );
270 Node nil = getNilRef( it->first ); in postProcessModel()409 Node nr = getNilRef( tn ); in check()1114 Node nr = getNilRef( tn ); in initializeBounds()1201 Node nr = getNilRef( tn ); in getBaseLabel()1212 Node TheorySep::getNilRef( TypeNode tn ) { in getNilRef() function in CVC4::theory::sep::TheorySep