Home
last modified time | relevance | path

Searched refs:getNilRef (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.h281 Node getNilRef( TypeNode tn );
H A Dtheory_sep.cpp270 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