Searched refs:AdjustDepth (Results 1 – 1 of 1) sorted by relevance
793 unsigned AdjustDepth = 0; in buildAssociatedConstraints() local796 AdjustDepth = PrimaryTemplate->getTemplateDepth(); in buildAssociatedConstraints()811 getDepthAndIndex(TP).first + AdjustDepth); in buildAssociatedConstraints()837 getDepthAndIndex(TP).first + AdjustDepth); in buildAssociatedConstraints()928 unsigned AdjustDepth = PrimaryTemplate->getTemplateDepth(); in buildIsDeducibleConstraint() local939 getDepthAndIndex(TP).first + AdjustDepth); in buildIsDeducibleConstraint()