Example #1
0
        public GeometryTutorLib.EngineUIBridge.ProblemDescription MakeProblemDescription(List <GroundedClause> givens)
        {
            GeometryTutorLib.EngineUIBridge.ProblemDescription pdesc = new GeometryTutorLib.EngineUIBridge.ProblemDescription();

            pdesc.givens = givens;

            implied.allFigurePoints.ForEach(f => pdesc.figure.Add(f));
            implied.angles.ForEach(f => pdesc.figure.Add(f));
            implied.arcInMiddle.ForEach(f => pdesc.figure.Add(f));
            implied.ccIntersections.ForEach(f => pdesc.figure.Add(f));
            implied.circles.ForEach(f => pdesc.figure.Add(f));
            implied.collinear.ForEach(f => pdesc.figure.Add(f));
            implied.csIntersections.ForEach(f => pdesc.figure.Add(f));
            implied.inMiddles.ForEach(f => pdesc.figure.Add(f));
            implied.majorArcs.ForEach(f => pdesc.figure.Add(f));
            implied.majorSectors.ForEach(f => pdesc.figure.Add(f));
            implied.semiCircles.ForEach(f => pdesc.figure.Add(f));
            implied.minorArcs.ForEach(f => pdesc.figure.Add(f));
            implied.minorSectors.ForEach(f => pdesc.figure.Add(f));
            implied.polygons[GeometryTutorLib.ConcreteAST.Polygon.TRIANGLE_INDEX].ForEach(f => pdesc.figure.Add(f));
            implied.polygons[GeometryTutorLib.ConcreteAST.Polygon.QUADRILATERAL_INDEX].ForEach(f => pdesc.figure.Add(f));
            implied.segments.ForEach(f => pdesc.figure.Add(f));
            implied.ssIntersections.ForEach(f => pdesc.figure.Add(f));

            return(pdesc);
        }
Example #2
0
        public GeometryTutorLib.EngineUIBridge.ProblemDescription MakeProblemDescription(List<GroundedClause> givens)
        {
            GeometryTutorLib.EngineUIBridge.ProblemDescription pdesc = new GeometryTutorLib.EngineUIBridge.ProblemDescription();

            pdesc.givens = givens;

            implied.allFigurePoints.ForEach(f => pdesc.figure.Add(f));
            implied.angles.ForEach(f => pdesc.figure.Add(f));
            implied.arcInMiddle.ForEach(f => pdesc.figure.Add(f));
            implied.ccIntersections.ForEach(f => pdesc.figure.Add(f));
            implied.circles.ForEach(f => pdesc.figure.Add(f));
            implied.collinear.ForEach(f => pdesc.figure.Add(f));
            implied.csIntersections.ForEach(f => pdesc.figure.Add(f));
            implied.inMiddles.ForEach(f => pdesc.figure.Add(f));
            implied.majorArcs.ForEach(f => pdesc.figure.Add(f));
            implied.majorSectors.ForEach(f => pdesc.figure.Add(f));
            implied.semiCircles.ForEach(f => pdesc.figure.Add(f));
            implied.minorArcs.ForEach(f => pdesc.figure.Add(f));
            implied.minorSectors.ForEach(f => pdesc.figure.Add(f));
            implied.polygons[GeometryTutorLib.ConcreteAST.Polygon.TRIANGLE_INDEX].ForEach(f => pdesc.figure.Add(f));
            implied.polygons[GeometryTutorLib.ConcreteAST.Polygon.QUADRILATERAL_INDEX].ForEach(f => pdesc.figure.Add(f));
            implied.segments.ForEach(f => pdesc.figure.Add(f));
            implied.ssIntersections.ForEach(f => pdesc.figure.Add(f));

            return pdesc;
        }