Searched refs:isIntPower (Results 1 – 4 of 4) sorted by relevance
1001 isIntPower = (intValue == value); in PowerConstant()1018 if (isIntPower) { in evaluate()1053 bool isIntPower; variable
970 isIntPower = (intValue == value); in PowerConstant()987 if (isIntPower) { in evaluate()1022 bool isIntPower; variable
1044 isIntPower = (intValue == value); in PowerConstant()1061 if (isIntPower) { in evaluate()1096 bool isIntPower; variable
3225 Theorem isIntPower(isIntegerThm(left)); in rewrite() local3226 if (!isIntPower.isNull()) { in rewrite()3227 thm = transitivityRule(thm, d_rules->intEqIrrational(nonlinearEq, isIntPower)); in rewrite()