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