Searched defs:IndDesc (Results 1 – 1 of 1) sorted by relevance
204 InductionDescriptor IndDesc; in getBounds() local308 InductionDescriptor IndDesc; in getInductionVariable() local353 InductionDescriptor IndDesc; in isAuxiliaryInductionVariable() local411 InductionDescriptor IndDesc; in isCanonical() local