C# (CSharp) SynthesisEngine.Configの例

コード例 #1

ファイル: Program.cs プロジェクト: marcioaug/prose-tutorial

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

コード例 #2

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