Searched refs:initTheoryProofEngine (Results 1 – 3 of 3) sorted by relevance
185 static void initTheoryProofEngine();
177 void ProofManager::initTheoryProofEngine() { in initTheoryProofEngine() function in CVC4::ProofManager
340 ProofManager::currentPM()->initTheoryProofEngine(); in TheoryEngine()