Searched refs:clause_vmem (Results 1 – 1 of 1) sorted by relevance
35 clause_vmem, enumerator85 type = clause_vmem; in form_hard_clauses()87 type = clause_vmem; in form_hard_clauses()