Searched refs:process_equality (Results 1 – 2 of 2) sorted by relevance
| /dports/lang/swi-pl/swipl-8.2.3/packages/sgml/ |
| H A D | xpath.pl | 505 process_equality(LeftValue, Right).
518 %! process_equality(+Left, +Right) is semidet.
533 process_equality(Left, Right) :-
537 process_equality(Left, lower_case(Right)) :-
540 process_equality(Left, upper_case(Right)) :-
543 process_equality(Left, Right) :-
|
| /dports/math/yices/yices-2.6.2/src/solvers/egraph/ |
| H A D | egraph.c | 4200 static bool process_equality(egraph_t *egraph, occ_t t1, occ_t t2, int32_t i) { in process_equality() function
5161 if (! process_equality(egraph, e->lhs, e->rhs, i)) { in egraph_internal_propagation()
|