Searched defs:explanationVector (Results 1 – 1 of 1) sorted by relevance
1673 std::vector<NodeTheoryPair> explanationVector; in getExplanationAndRecipe() local1909 std::vector<NodeTheoryPair> explanationVector; in conflict() local2001 void TheoryEngine::getExplanation(std::vector<NodeTheoryPair>& explanationVector, LemmaProofRecipe*… in getExplanation()