Searched defs:NumReservedClauses (Results 1 – 1 of 1) sorted by relevance
210 unsigned NumReservedClauses, in Create()218 unsigned NumReservedClauses, in Create()