Searched refs:clause_bucket (Results 1 – 2 of 2) sorted by relevance
689 typedef struct clause_bucket * ClauseBucket; /* Bucked in clause-index table */1436 struct clause_bucket struct
645 bytes = sizeof(struct clause_bucket) * buckets; in newClauseIndexTable()714 freeHeap(ci->entries, ci->buckets * sizeof(struct clause_bucket)); in unallocClauseIndexTableEntries()2254 a->space = ( a->size * sizeof(struct clause_bucket) + in assess_remove_duplicates()