Searched refs:StructuralInductionKind (Results 1 – 3 of 3) sorted by relevance
227 static bool one = env.options->structInduction() == Options::StructuralInductionKind::ONE || in process()228 env.options->structInduction() == Options::StructuralInductionKind::ALL; in process()229 static bool two = env.options->structInduction() == Options::StructuralInductionKind::TWO || in process()230 env.options->structInduction() == Options::StructuralInductionKind::ALL; in process()231 … static bool three = env.options->structInduction() == Options::StructuralInductionKind::THREE || in process()232 env.options->structInduction() == Options::StructuralInductionKind::ALL; in process()
243 enum class StructuralInductionKind : unsigned int { enum in Shell::Options2155 StructuralInductionKind structInduction() const { return _structInduction.actualValue; } in structInduction()2470 ChoiceOptionValue<StructuralInductionKind> _structInduction;
1095 … _structInduction = ChoiceOptionValue<StructuralInductionKind>("structural_induction_kind","sik", in init()1096 StructuralInductionKind::ONE,{"one","two","three","all"}); in init()