Searched refs:mathInduction (Results 1 – 2 of 2) sorted by relevance
203 static bool one = env.options->mathInduction() == Options::MathInductionKind::ONE || in process()204 env.options->mathInduction() == Options::MathInductionKind::ALL; in process()205 static bool two = env.options->mathInduction() == Options::MathInductionKind::TWO || in process()206 env.options->mathInduction() == Options::MathInductionKind::ALL; in process()
2156 MathInductionKind mathInduction() const { return _mathInduction.actualValue; } in mathInduction() function in Shell::Options