Searched refs:getCongruentTermExp (Results 1 – 2 of 2) sorted by relevance
72 TNode getCongruentTermExp( Node f, std::vector< TNode >& args, std::vector< Node >& exp );
173 TNode EqualityQueryInstProp::getCongruentTermExp( Node f, std::vector< TNode >& args, std::vector< … in getCongruentTermExp() function in EqualityQueryInstProp