public static SynthesisEngine ConfigureSynthesis(Grammar grammar) { var witnessFunctions = new WitnessFunctions(grammar); var deductiveSynthesis = new DeductiveSynthesis(witnessFunctions); var synthesisExtrategies = new ISynthesisStrategy[] { deductiveSynthesis }; var synthesisConfig = new SynthesisEngine.Config { Strategies = synthesisExtrategies }; return(new SynthesisEngine(grammar, synthesisConfig)); }
// with grammar parameter public static SynthesisEngine ConfigureSynthesis(Grammar grammar) { var witnessFunctions = new WitnessFunctions(grammar); var deductiveSynthesis = new DeductiveSynthesis(witnessFunctions); var compBased = new ComponentBasedSynthesis(); var synthesisExtrategies = new ISynthesisStrategy[] { deductiveSynthesis }; var synthesisConfig = new SynthesisEngine.Config { Strategies = synthesisExtrategies }; var prose = new SynthesisEngine(grammar, synthesisConfig); return(prose); }