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