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