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);
}
