Searched refs:addPathReconstructionTrigger (Results 1 – 3 of 3) sorted by relevance
886 void addPathReconstructionTrigger(unsigned trigger, const PathReconstructionNotify* notify);
1742 void EqualityEngine::addPathReconstructionTrigger(unsigned trigger, const PathReconstructionNotify*… in addPathReconstructionTrigger() function in CVC4::theory::eq::EqualityEngine
152 d_equalityEngine.addPathReconstructionTrigger(d_reasonRow, &d_proofReconstruction); in TheoryArrays()153 d_equalityEngine.addPathReconstructionTrigger(d_reasonRow1, &d_proofReconstruction); in TheoryArrays()154 d_equalityEngine.addPathReconstructionTrigger(d_reasonExt, &d_proofReconstruction); in TheoryArrays()