Lines Matching full:compares
1951 * recursions and transition compares when adding the new ones
2239 * Compares two atoms type to check whether they intersect in some ways,
2263 /* simplify subsequent compares by making sure type1 < type2 */
2441 * Compares two atoms to check whether they are the same exactly
2486 * Compares two atoms to check whether they intersect in some ways,
