Searched refs:debugPrintHeap (Results 1 – 2 of 2) sorted by relevance
302 void debugPrintHeap( HeapInfo& heap, const char * c );
1763 void TheorySep::debugPrintHeap( HeapInfo& heap, const char * c ) { in debugPrintHeap() function in CVC4::theory::sep::TheorySep