Searched refs:setNilRef (Results 1 – 2 of 2) sorted by relevance
282 void setNilRef( TypeNode tn, Node n );
1216 setNilRef( tn, nil ); in getNilRef()1223 void TheorySep::setNilRef( TypeNode tn, Node n ) { in setNilRef() function in CVC4::theory::sep::TheorySep