Searched refs:cacheConclusion (Results 1 – 2 of 2) sorted by relevance
642 if( cacheConclusion( id, body ) ){ in notifyInstantiation()744 if( cacheConclusion( id, props[i], 1 ) ){ in update()763 if( cacheConclusion( id, eval ) ){ in update()838 bool InstPropagator::cacheConclusion( unsigned id, Node body, int prop_index ) { in cacheConclusion() function in InstPropagator
174 bool cacheConclusion( unsigned id, Node body, int prop_index = 0 );