Searched refs:areDisequalExp (Results 1 – 2 of 2) sorted by last modified time
70 bool areDisequalExp( Node a, Node b, std::vector< Node >& exp );
157 bool EqualityQueryInstProp::areDisequalExp( Node a, Node b, std::vector< Node >& exp ) { in areDisequalExp() function in EqualityQueryInstProp284 if( areDisequalExp( ar, br, exp_d ) ){ in setEqual()