29 Mut_Simplify_Bounds = 1U<<1,
30 Mut_Remove_Multop_Operands = 1U<<2,
31 Mut_Remove_Ops = 1U<<3,
32 Mut_Split_Ops = 1U<<4,
33 Mut_Rewrite_Ops = 1U<<5,
34 Mut_Remove_One_Ap = 1U<<6,
39 std::vector<formula> mutate(formula f,
40 unsigned opts = Mut_All,
41 unsigned max_output = -1U,
42 unsigned mutation_count = 1,
Definition: automata.hh:26