• kfdd_synthesis_dtl_negative_davio : revkit
• kfdd_synthesis_dtl_positive_davio : revkit
• kfdd_synthesis_dtl_shannon : revkit
• kfdd_synthesis_growth_limit_absolute : revkit
• kfdd_synthesis_growth_limit_relative : revkit
• kfdd_synthesis_reordering_dtl_sifting : revkit
• kfdd_synthesis_reordering_exact_dtl_friedman : revkit
• kfdd_synthesis_reordering_exact_dtl_permutation : revkit
• kfdd_synthesis_reordering_exact_friedman : revkit
• kfdd_synthesis_reordering_exact_permutation : revkit
• kfdd_synthesis_reordering_inverse : revkit
• kfdd_synthesis_reordering_none : revkit
• kfdd_synthesis_reordering_sifting : revkit
• kfdd_synthesis_reordering_sifting_and_dtl_sifting : revkit
• kfdd_synthesis_sifting_method_greatest : revkit
• kfdd_synthesis_sifting_method_initial : revkit
• kfdd_synthesis_sifting_method_loser_first : revkit
• kfdd_synthesis_sifting_method_random : revkit
• kfdd_synthesis_sifting_method_verify : revkit