Searched defs:true_builder (Results 1 – 2 of 2) sorted by relevance
49 true_builder(const random_formula*, int n) in true_builder() function