Searched refs:closed (Results 1 – 1 of 1) sorted by relevance
234 int closed = 12345; in closedFormInductionUp() local236 closed += 5; in closedFormInductionUp()238 return closed; // only needs last value in closedFormInductionUp()254 static int closedFormInductionInAndDown(int closed) { in closedFormInductionInAndDown() argument256 closed -= 5; in closedFormInductionInAndDown()258 return closed; // only needs last value in closedFormInductionInAndDown()275 int closed = 11; in closedFormInductionTrivialIf() local280 closed += 7; in closedFormInductionTrivialIf()282 closed += 7; in closedFormInductionTrivialIf()285 return closed; // only needs last value in closedFormInductionTrivialIf()[all …]