33 Mut_Simplify_Bounds = 1U<<1,
34 Mut_Remove_Multop_Operands = 1U<<2,
35 Mut_Remove_Ops = 1U<<3,
36 Mut_Split_Ops = 1U<<4,
37 Mut_Rewrite_Ops = 1U<<5,
38 Mut_Remove_One_Ap = 1U<<6,
43 std::vector<const formula*> mutate(
const formula* f,
44 unsigned opts = Mut_All,
45 unsigned max_output = -1U,
46 unsigned mutation_count = 1,