C# (CSharp) GeometryTutorLib.Hypergraph.Hypergraph示例

示例#1

        //
        // Construct the main Hypergraph
        //
        private void ConstructHypergraph()
        {
            // Resets all saved data to allow multiple problems
            GeometryTutorLib.GenericInstantiator.Instantiator.Clear();

            // Build the hypergraph through instantiation
            deductiveGraph = instantiator.Instantiate(figure, given);
        }

示例#2

        //
        // Construct the main Hypergraph
        //
        private void ConstructHypergraph()
        {
            // Resets all saved data to allow multiple problems
            GeometryTutorLib.GenericInstantiator.Instantiator.Clear();

            // Build the hypergraph through instantiation
            graph = instantiator.Instantiate(figure, givens);

            if (GeometryTutorLib.Utilities.DEBUG)
            {
                graph.DumpNonEquationClauses();
                graph.DumpEquationClauses();
            }
        }

示例#3

文件： HardCodedFigureAnalyzerMain.cs 项目： wcatykid/GeoShader

        //
        // Construct the main Hypergraph
        //
        private void ConstructHypergraph()
        {
            // Resets all saved data to allow multiple problems
            GeometryTutorLib.GenericInstantiator.Instantiator.Clear();

            // Build the hypergraph through instantiation
            graph = instantiator.Instantiate(figure, givens);

            if (GeometryTutorLib.Utilities.DEBUG)
            {
                graph.DumpNonEquationClauses();
                graph.DumpEquationClauses();
            }
        }

示例#4

文件： HardCodedShadedAreaMain.cs 项目： wcatykid/GeoShader

        //
        // Construct the main Hypergraph
        //
        private void ConstructHypergraph()
        {
            // Resets all saved data to allow multiple problems
            GeometryTutorLib.GenericInstantiator.Instantiator.Clear();

            // Build the hypergraph through instantiation
            deductiveGraph = instantiator.Instantiate(figure, given);
        }