Searched refs:gen_poly_PB (Results 1 – 1 of 1) sorted by relevance
113 def gen_poly_PB(clause): function143 poly_str=",\\\n ".join([gen_poly_PB(c) for c in clauses])