Searched refs:hash_atomic_constraint (Results 1 – 7 of 7) sorted by relevance
56 return hash_atomic_constraint (t); in hash()
987 hash_atomic_constraint (tree t) in hash_atomic_constraint() function1020 h.merge_hash (hash_atomic_constraint (t)); in add_constraint()2292 hashval_t value = hash_atomic_constraint (e->constr); in hash()
7943 extern hashval_t hash_atomic_constraint (tree);
1041 hash_atomic_constraint (tree t) in hash_atomic_constraint() function1074 h.merge_hash (hash_atomic_constraint (t)); in add_constraint()2474 return hash_atomic_constraint (e->atom); in hash()
8364 extern hashval_t hash_atomic_constraint (tree);8375 return hash_atomic_constraint (t); in hash()
1232 * constraint.cc (sat_hasher::hash): Use hash_atomic_constraint1249 hash_atomic_constraint.
1583 (hash_atomic_constraint): Likewise.1880 (hash_atomic_constraint): New.