Searched refs:subproofStr (Results 1 – 2 of 2) sorted by relevance
1580 const std::string subproofStr, in identicalEqualitiesPrinterHelper() argument1610 (*outStream) << subproofStr << " (symm _ _ _ " << subproofStr << ")"; in identicalEqualitiesPrinterHelper()1615 (*outStream) << " (symm _ _ _ " << subproofStr << ")" << subproofStr; in identicalEqualitiesPrinterHelper()1639 (*outStream) << subproofStr << " (symm _ _ _ " << subproofStr << ")"; in identicalEqualitiesPrinterHelper()1646 (*outStream) << " (symm _ _ _ " << subproofStr << ")" << subproofStr; in identicalEqualitiesPrinterHelper()1664 (*outStream).str(subproofStr); in identicalEqualitiesPrinterHelper()
286 const std::string subproofStr,