Searched defs:IndDesc (Results 1 – 3 of 3) sorted by relevance
84 InductionDescriptor IndDesc; in TEST() local161 InductionDescriptor IndDesc; in TEST() local
202 InductionDescriptor IndDesc; in getBounds() local306 InductionDescriptor IndDesc; in getInductionVariable() local351 InductionDescriptor IndDesc; in isAuxiliaryInductionVariable() local403 InductionDescriptor IndDesc; in isCanonical() local
203 InductionDescriptor IndDesc; in getBounds() local307 InductionDescriptor IndDesc; in getInductionVariable() local352 InductionDescriptor IndDesc; in isAuxiliaryInductionVariable() local404 InductionDescriptor IndDesc; in isCanonical() local