Searched defs:AdjustDepth (Results 1 – 1 of 1) sorted by relevance
776 unsigned AdjustDepth = 0; in buildAssociatedConstraints() local911 unsigned AdjustDepth = PrimaryTemplate->getTemplateDepth(); in buildIsDeducibleConstraint() local