예제 #1
0
        ////
        //// Constructs the coverage relationship amongst all figure components
        ////
        //private static void HandleAllFigureIntrinsicFacts(List<GroundedClause> figure)
        //{
        //    for (int f1 = 0; f1 < figure.Count; f1++)
        //    {
        //        for (int f2 = 0; f2 < figure.Count; f2++)
        //        {
        //            if (f1 != f2)
        //            {
        //                if (figure[f1].Covers(figure[f2])) figure[f1].AddComponent(figure[f2].clauseId);
        //            }
        //        }
        //    }
        //}

        //
        // Preprocess the given clauses
        //
        private static void HandleAllGivens(List <GroundedClause> figure, List <GroundedClause> givens)
        {
            ////
            //// Link the boolean facts to the intrinsic facts through coverage (implication)
            ////
            //foreach (GroundedClause given in givens)
            //{
            //    foreach (GroundedClause component in figure)
            //    {
            //        if (given.Covers(component))
            //        {
            //            given.AddComponent(component.clauseId);
            //            given.AddComponentList(component.figureComponents);
            //        }
            //    }
            //}

            //
            // Are any of the givens congruent relationships?
            //
            foreach (GroundedClause clause in givens)
            {
                if (clause is CongruentTriangles)
                {
                    CongruentTriangles conTris = clause as CongruentTriangles;
                    if (conTris.VerifyCongruentTriangles())
                    {
                        // indicate that these triangles are congruent to prevent future 'reproving' congruent
                        conTris.ProcessGivens();
                    }
                    // This is not a valid congruence.
                    else
                    {
                        // Remove?
                    }
                }
                //else if (clause is SimilarTriangles)
                //{
                //    SimilarTriangles simTris = clause as SimilarTriangles;
                //    if (simTris.VerifyCongruentTriangles())
                //    {
                //        // indicate that these triangles are congruent to prevent future 'reproving' congruent
                //        simTris.ProcessGivens();
                //    }
                //    // This is not a valid similarity.
                //    else
                //    {
                //        // Remove?
                //    }
                //}
            }
        }