Beispiel #1
0
        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));
        }
Beispiel #2
0
        // 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);
        }