C# TutorParser.HardCodedParserMain类代码示例

        //
        // Polygons only.
        //
        public Page199(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point a = new Point("A", 0, 0);   points.Add(a);
            Point b = new Point("B", 5, 0);   points.Add(b);
            Point c = new Point("C", 13, 0);  points.Add(c);
            Point d = new Point("D", 13, 8);  points.Add(d);
            Point e = new Point("E", 5, 8);   points.Add(e);
            Point f = new Point("F", 5, 5);   points.Add(f);
            Point g = new Point("G", 0, 5);   points.Add(g);
            // Point h = new Point("H", 0, 3);   points.Add(h);

            Segment ag = new Segment(a, g); segments.Add(ag);
            Segment fg = new Segment(f, g); segments.Add(fg);
            Segment af = new Segment(a, f); segments.Add(af);
            Segment fd = new Segment(f, d); segments.Add(fd);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment de = new Segment(d, e); segments.Add(de);
            Segment cd = new Segment(c, d); segments.Add(cd);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(b);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(b);
            pts.Add(f);
            pts.Add(e);
            collinear.Add(new Collinear(pts));

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            Quadrilateral abfg = (Quadrilateral)parser.Get(new Quadrilateral(ag,
                                                                             (Segment)parser.Get(new Segment(b, f)),
                                                                             fg,
                                                                             (Segment)parser.Get(new Segment(a, b))));
            given.Add(new Strengthened(abfg, new Square(abfg)));

            Quadrilateral bcde = (Quadrilateral)parser.Get(new Quadrilateral((Segment)parser.Get(new Segment(b, e)),
                                                                             cd,
                                                                             de,
                                                                             (Segment)parser.Get(new Segment(b, c))));
            given.Add(new Strengthened(bcde, new Square(bcde)));

            known.AddSegmentLength(de, 8);
            known.AddSegmentLength(ag, 5);

            List<Point> wanted = new List<Point>();
            wanted.Add(new Point("", 4.9, 4.9));
            wanted.Add(new Point("", 5.1, 4.9));
            wanted.Add(new Point("", 5.5, 5.1));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);

            SetSolutionArea(12.5);

            problemName = "Singapore Problem Page 199";
            GeometryTutorLib.EngineUIBridge.HardCodedProblemsToUI.AddProblem(problemName, points, circles, segments);
        }

        public Page145Problem04(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 145 Problem 4";

            Point a = new Point("A", 0, 0); points.Add(a);
            Point b = new Point("B", 5, 0); points.Add(b);
            Point d = new Point("D", 1, 4); points.Add(d);
            Point c = new Point("C", 6, 4); points.Add(c);
            Point l = new Point("L", 2, 3); points.Add(l);
            Point m = new Point("M", 4, 1); points.Add(m);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment cd = new Segment(c, d); segments.Add(cd);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment bc = new Segment(b, c); segments.Add(bc);
            Segment al = new Segment(a, l); segments.Add(al);
            Segment cm = new Segment(c, m); segments.Add(cm);

            List<Point> pts = new List<Point>();
            pts.Add(d);
            pts.Add(l);
            pts.Add(m);
            pts.Add(b);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments(ab, cd));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(c, d, l)), (Angle)parser.Get(new Angle(m, b, a))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(d, a, l)), (Angle)parser.Get(new Angle(m, c, b))));

            goals.Add(new GeometricCongruentSegments(al, cm));
        }

        public Page6Row3Prob32c(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point r = new Point("R", -8 * System.Math.Sin(0.3 * System.Math.PI), 8 * System.Math.Cos(0.3 * System.Math.PI)); points.Add(r);
            Point p = new Point("P", 0, 0); points.Add(p);
            Point s = new Point("S", 8 * System.Math.Sin(0.3 * System.Math.PI), 8 * System.Math.Cos(0.3 * System.Math.PI)); points.Add(s);
            Point q = new Point("Q", 0, -4); points.Add(q);

            Segment rp = new Segment(r, p); segments.Add(rp);
            Segment ps = new Segment(p, s); segments.Add(ps);
            Segment pq = new Segment(p, q); segments.Add(pq);

            circles.Add(new Circle(p, 8));
            circles.Add(new Circle(q, 4));

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            known.AddSegmentLength(pq, 4);
            known.AddAngleMeasureDegree((Angle)parser.Get(new Angle(r, p, s)), 108);

            List<Point> wanted = new List<Point>();
            wanted.Add(new Point("", 7, 0));
            wanted.Add(new Point("", -7, 0));
            wanted.Add(new Point("", -2, 1));
            wanted.Add(new Point("", 2, 1));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);

            SetSolutionArea(28.8 * System.Math.PI);

            problemName = "McDougall Page 6 Row 3 Problem 32c";
            GeometryTutorLib.EngineUIBridge.HardCodedProblemsToUI.AddProblem(problemName, points, circles, segments);
        }

        public Page242Problem21(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 242 Problem 21";

            Point t = new Point("T", 0, 0); points.Add(t);
            Point s = new Point("S", 6, 8); points.Add(s);
            Point o = new Point("O", 9, 12); points.Add(o);
            Point v = new Point("V", 13, 8); points.Add(v);
            Point w = new Point("W", 21, 0); points.Add(w);

            Segment tw = new Segment(t, w); segments.Add(tw);
            Segment sv = new Segment(s, v); segments.Add(sv);

            List<Point> pts = new List<Point>();
            pts.Add(t);
            pts.Add(s);
            pts.Add(o);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(o);
            pts.Add(v);
            pts.Add(w);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricParallel((Segment)parser.Get(tw), (Segment)parser.Get(sv)));
        }

        public Page156Problem36(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 156 Problem 36";

            Point j = new Point("J", 0, 10);  points.Add(j);
            Point k = new Point("K", 10, 10); points.Add(k);
            Point l = new Point("L", 20, 10); points.Add(l);
            Point m = new Point("M", 5, 0);   points.Add(m);
            Point n = new Point("N", 15, 0);  points.Add(n);

            Segment jm = new Segment(j, m); segments.Add(jm);
            Segment km = new Segment(k, m); segments.Add(km);
            Segment kn = new Segment(k, n); segments.Add(kn);
            Segment ln = new Segment(l, n); segments.Add(ln);

            List<Point> pts = new List<Point>();
            pts.Add(j);
            pts.Add(k);
            pts.Add(l);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(m, j, k)), (Angle)parser.Get(new Angle(m, k, j))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(n, k, l)), (Angle)parser.Get(new Angle(n, l, k))));
            given.Add(new GeometricParallel(jm, kn));

            goals.Add(new GeometricParallel(km, ln));
        }

        public Page229Problem05(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 229 Problem 05";

            Point a = new Point("A", 13.0 / 2.0, 3.0); points.Add(a);
            Point b = new Point("B", 0, 3); points.Add(b);
            Point c = new Point("C", 2, 0); points.Add(c);
            Point e = new Point("E", 13.0 / 3.0, 3); points.Add(e);
            Point f = new Point("F", 5, 2); points.Add(f);

            Segment bc = new Segment(c, b); segments.Add(bc);
            Segment ef = new Segment(e, f); segments.Add(ef);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(f);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(b);
            pts.Add(e);
            pts.Add(a);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);
        }

        public Page69Problem14(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 69 Problem 14";

            Point a = new Point("A", 0, 0); points.Add(a);
            Point b = new Point("B", 7, -6); points.Add(b);
            Point c = new Point("C", 14, 0); points.Add(c);
            Point d = new Point("D", 7, 0); points.Add(d);

            Segment ba = new Segment(b, a); segments.Add(ba);
            Segment bc = new Segment(b, c); segments.Add(bc);
            Segment bd = new Segment(b, d); segments.Add(bd);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(d);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments(ba, bc));
            given.Add(new Midpoint((InMiddle)parser.Get(new InMiddle(d, (Segment)parser.Get(new Segment(a, c))))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(a, b, d), new Triangle(c, b, d)));
        }

        public Page1Col2Prob1(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point a = new Point("A", 0, -35); points.Add(a);
            Point b = new Point("B", 35, 0); points.Add(b);
            Point o = new Point("O", 0, 0); points.Add(o);
            Point p = new Point("P", 0, 35); points.Add(p);

            Segment ob = new Segment(o, b); segments.Add(ob);
            Segment oa = new Segment(o, a); segments.Add(oa);
            Segment ab = new Segment(a, b); segments.Add(ab);

            circles.Add(new Circle(o, 35.0));

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new RightAngle((Angle)parser.Get(new Angle(a, o, b))));

            known.AddSegmentLength(ob, 35);

            goalRegions.AddRange(parser.implied.GetAllAtomicRegionsWithoutPoint(new Point("", 24.7, -24.7)));

            SetSolutionArea(3498.83825);

            problemName = "Class X Page 1 Col 2 Problem 1";
            GeometryTutorLib.EngineUIBridge.HardCodedProblemsToUI.AddProblem(problemName, points, circles, segments);
        }

        public IPage120Problem7(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Book I Page 120 Problem 7";

            Point a = new Point("A", 0, 0); points.Add(a);
            Point b = new Point("B", 10, 0); points.Add(b);
            Point p = new Point("P", 5, 0); points.Add(p);
            Point d = new Point("D", 7, 8); points.Add(d);
            Point e = new Point("E", 3, 8); points.Add(e);

            //            System.Diagnostics.Debug.Write(new Segment(q, r).FindIntersection(new Segment(p, s)));

            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment be = new Segment(b, e); segments.Add(be);
            Segment ep = new Segment(e, p); segments.Add(ep);
            Segment dp = new Segment(d, p); segments.Add(dp);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(p);
            pts.Add(b);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new Midpoint((InMiddle)parser.Get(new InMiddle( p, (Segment)parser.Get(new Segment(a, b))))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(b, a, d)), (Angle)parser.Get(new Angle(a, b, e))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(e, p, a)), (Angle)parser.Get(new Angle(d, p, b))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(d, a, p), new Triangle(e, b, p)));
            goals.Add(new GeometricCongruentSegments(ad, be));
        }

        public IPage120Problem6(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Book I Page 120 Problem 6";

            Point a = new Point("A", 2, 6);  points.Add(a);
            Point b = new Point("B", 0, 0);  points.Add(b);
            Point c = new Point("C", 10, 0); points.Add(c);
            Point d = new Point("D", 4, 0);  points.Add(d);
            Point e = new Point("E", 12, 6); points.Add(e);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment ac = new Segment(a, c); segments.Add(ac);
            Segment ae = new Segment(a, e); segments.Add(ae);
            Segment ec = new Segment(e, c); segments.Add(ec);
            Segment de = new Segment(d, e); segments.Add(de);

            List<Point> pts = new List<Point>();
            pts.Add(b);
            pts.Add(d);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments(ac, ae));
            given.Add(new GeometricCongruentSegments(ab, ad));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(b, a, d)), (Angle)parser.Get(new Angle(e, a, c))));

            goals.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(b, c)), de));
        }

        public Page242Problem17(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 242 Problem 17";

            Point a = new Point("A", 1, 5); points.Add(a);
            Point b = new Point("B", 5, 5); points.Add(b);
            Point c = new Point("C", 0, 0); points.Add(c);
            Point d = new Point("D", 6, 0); points.Add(d);
            Point n = new Point("N", 3, 3); points.Add(n);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment cd = new Segment(c, d); segments.Add(cd);

            List<Point> pts = new List<Point>();
            pts.Add(c);
            pts.Add(n);
            pts.Add(b);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(a);
            pts.Add(n);
            pts.Add(d);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(c, b, a)), (Angle)parser.Get(new Angle(a, d, c))));

            goals.Add(new GeometricSimilarTriangles(new Triangle(n, c, d), new Triangle(n, a, b)));
        }

        public Page6Row5Prob4(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point o = new Point("O", 0, 0); points.Add(o);
            Point a = new Point("A", 0, 11); points.Add(a);
            Point b = new Point("B", 0, -33); points.Add(b);

            List<Point> pnts = new List<Point>();
            pnts.Add(a);
            pnts.Add(o);
            pnts.Add(b);
            collinear.Add(new Collinear(pnts));

            circles.Add(new Circle(o, 11));
            circles.Add(new Circle(o, 33));

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            known.AddSegmentLength((Segment)parser.Get(new Segment(a, o)), 11);
            known.AddSegmentLength((Segment)parser.Get(new Segment(o, b)), 33);

            List<Point> wanted = new List<Point>();
            wanted.Add(new Point("", 20, 1));
            wanted.Add(new Point("", -20, 1));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);

            SetSolutionArea(968 * System.Math.PI);

            problemName = "McDougall Page 6 Row 5 Problem 4";
            GeometryTutorLib.EngineUIBridge.HardCodedProblemsToUI.AddProblem(problemName, points, circles, segments);
        }

        public Page144Problem02(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 144 Problem 2";

            Point a = new Point("A", 0, 20); points.Add(a);
            Point b = new Point("B", 5, 32); points.Add(b);
            Point c = new Point("C", 45, 20); points.Add(c);
            Point d = new Point("D", 40, 8); points.Add(d);
            Point e = new Point("E", 5, 20); points.Add(e);
            Point f = new Point("F", 40, 20); points.Add(f);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment bc = new Segment(b, c); segments.Add(bc);
            Segment be = new Segment(b, e); segments.Add(be);
            Segment cd = new Segment(c, d); segments.Add(cd);
            Segment df = new Segment(d, f); segments.Add(df);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(e);
            pts.Add(f);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments((Segment)parser.Get(ab), (Segment)parser.Get(cd)));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(ad), (Segment)parser.Get(bc)));
            given.Add(new RightAngle(a, e, b));
            given.Add(new RightAngle(c, f, d));

            goals.Add(new GeometricCongruentSegments(be, df));
        }

        public Page146Problem17(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 146 Problem 17";

            Point d = new Point("D", 2, 3); points.Add(d);
            Point b = new Point("B", 10, 0); points.Add(b);
            Point a = new Point("A", 0, 0); points.Add(a);
            Point c = new Point("C", 8, 3); points.Add(c);
            Point m = new Point("M", 5, 0); points.Add(m);

            Segment bc = new Segment(b, c); segments.Add(bc);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment cd = new Segment(c, d); segments.Add(cd);
            Segment bd = new Segment(b, d); segments.Add(bd);
            Segment ac = new Segment(a, c); segments.Add(ac);
            Segment dm = new Segment(d, m); segments.Add(dm);
            Segment cm = new Segment(c, m); segments.Add(cm);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(m);
            pts.Add(b);
            collinear.Add(new Collinear(pts));

                        parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(a, m)), (Segment)parser.Get(new Segment(b, m))));
            given.Add(new GeometricCongruentSegments(ad, bc));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(m, d, c)), (Angle)parser.Get(new Angle(m, c, d))));
        }

        public TwoCircleInteriorTangent(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point x = new Point("X", 5, 0);   points.Add(x);
            Point y = new Point("Y", 10, 0);   points.Add(y);
            Point a = new Point("A", 0, 0); points.Add(a);

            List<Point> pts = new List<Point>();
            pts.Add(a);
            pts.Add(x);
            pts.Add(y);
            collinear.Add(new Collinear(pts));

            circles.Add(new Circle(x, 5.0));
            circles.Add(new Circle(y, 10.0));

            parser = new GeometryTutorLib.TutorParser.HardCodedParserMain(points, collinear, segments, circles, onoff);

            known.AddSegmentLength((Segment)parser.Get(new Segment(a, y)), 10);

            List<Point> wanted = new List<Point>();
            wanted.Add(new Point("", 10, 1));
            wanted.Add(new Point("", 10, -1));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);

            SetSolutionArea(75 * System.Math.PI);

            problemName = "ACT Practice Problem 1";
            GeometryTutorLib.EngineUIBridge.HardCodedProblemsToUI.AddProblem(problemName, points, circles, segments);
        }