• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号

C# TutorParser.HardCodedParserMain类代码示例

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

本文整理汇总了C#中LiveGeometry.TutorParser.HardCodedParserMain的典型用法代码示例。如果您正苦于以下问题:C# LiveGeometry.TutorParser.HardCodedParserMain类的具体用法?C# LiveGeometry.TutorParser.HardCodedParserMain怎么用?C# LiveGeometry.TutorParser.HardCodedParserMain使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。



LiveGeometry.TutorParser.HardCodedParserMain类属于命名空间,在下文中一共展示了LiveGeometry.TutorParser.HardCodedParserMain类的20个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于我们的系统推荐出更棒的C#代码示例。

示例1: Page2Prob19

        public Page2Prob19(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point o = new Point("O", 0, 0); points.Add(o);
            Point a = new Point("A", -6, 0); points.Add(a);
            Point b = new Point("B", 6, 0); points.Add(b);
            Point p = new Point("P", -3, 6.0 * System.Math.Sqrt(3) / 2.0); points.Add(p);

            Segment pa = new Segment(p, a); segments.Add(pa);
            Segment pb = new Segment(p, b); segments.Add(pb);

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

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

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

            given.Add(new GeometricAngleEquation((Angle)parser.Get(new Angle(o, a, p)), new NumericValue(60.0)));

            known.AddSegmentLength((Segment)parser.Get(new Segment(o, b)), 6);

            List<Point> wanted = new List<Point>();
            wanted.Add(new Point("", 3, 4));
            wanted.Add(new Point("", -5.19, 2.9));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);

            SetSolutionArea(25.37175323);

            problemName = "Jurgensen Page 2 Problem 19";
            GeometryTutorLib.EngineUIBridge.HardCodedProblemsToUI.AddProblem(problemName, points, circles, segments);
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:35,代码来源:Page2Prob19.cs


示例2: Page231Problem14

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

            Point j = new Point("J", 0, 0); points.Add(j);
            Point k = new Point("K", 3, 2); points.Add(k);
            Point l = new Point("L", 9, 0); points.Add(l);
            Point m = new Point("M", 5, 0); points.Add(m);
            Point n = new Point("N", 3, -2); points.Add(n);

            Segment jk = new Segment(j, k); segments.Add(jk);
            Segment jn = new Segment(j, n); segments.Add(jn);
            Segment kl = new Segment(k, l); segments.Add(kl);
            Segment km = new Segment(k, m); segments.Add(km);
            Segment ln = new Segment(l, n); segments.Add(ln);
            Segment mn = new Segment(m, n); segments.Add(mn);

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

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

            given.Add(new GeometricCongruentTriangles(new Triangle(j, k, m), new Triangle(j, n, m)));

            goals.Add(new GeometricCongruentTriangles(new Triangle(j, k, l), new Triangle(j, n, l)));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:30,代码来源:Page231Problem14.cs


示例3: Page301Problem42

        public Page301Problem42(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 301 Problem 42";

            Point a = new Point("A", 0, 0); points.Add(a);
            Point b = new Point("B", 0, 6); points.Add(b);
            Point c = new Point("C", 4, 3); points.Add(c);
            Point d = new Point("D", 8, 0); points.Add(d);

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

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

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

            given.Add(new Midpoint((InMiddle)parser.Get(new InMiddle( c, (Segment)parser.Get(new Segment(b, d))))));
            given.Add(new RightAngle(b, a, d));

            goals.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(b, c)), ac));
            goals.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(d, c)), ac));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:28,代码来源:Page301Problem42.cs


示例4: Page168Problem34

        public Page168Problem34(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 168 Problem 34";

            Point a = new Point("A", 1, 7); points.Add(a);
            Point b = new Point("B", 1, 4); points.Add(b);
            Point c = new Point("C", 8, 0); points.Add(c);
            Point d = new Point("D", 8, 4); points.Add(d);
            Point e = new Point("E", 4, 4); points.Add(e);

            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(a);
            pts.Add(e);
            pts.Add(c);
            collinear.Add(new Collinear(pts));

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

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

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

            goals.Add(new GeometricParallel(ab, cd));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:35,代码来源:Page168Problem34.cs


示例5: Page145Problem08

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

            Point f = new Point("F", 0, 5); points.Add(f);
            Point l = new Point("L", 4, 7); points.Add(l);
            Point k = new Point("K", 4, 3); points.Add(k);
            Point a = new Point("A", 5, 5); points.Add(a);
            Point j = new Point("J", 3, 5); points.Add(j);

            Segment fl = new Segment(f, l); segments.Add(fl);
            Segment fk = new Segment(f, k); segments.Add(fk);
            Segment al = new Segment(a, l); segments.Add(al);
            Segment ak = new Segment(a, k); segments.Add(ak);
            Segment jl = new Segment(j, l); segments.Add(jl);
            Segment jk = new Segment(j, k); segments.Add(jk);

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

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

            given.Add(new AngleBisector((Angle)parser.Get(new Angle(l, f, k)), (Segment)parser.Get(new Segment(f, a))));
            given.Add(new AngleBisector((Angle)parser.Get(new Angle(l, a, k)), (Segment)parser.Get(new Segment(f, a))));

            goals.Add(new AngleBisector((Angle)parser.Get(new Angle(l, j, k)), (Segment)parser.Get(new Segment(f, a))));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:31,代码来源:Page145Problem08.cs


示例6: Page316Problem42

        public Page316Problem42(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 316 Problem 42";

            Point p = new Point("P", 10, 0); points.Add(p);
            Point q = new Point("Q", 0, 0); points.Add(q);
            Point l = new Point("L", 0, 6); points.Add(l);
            Point m = new Point("M", 10, 6); points.Add(m);
            Point n = new Point("N", 3, 3); points.Add(n);

            Segment lm = new Segment(l, m); segments.Add(lm);
            Segment ln = new Segment(l, n); segments.Add(ln);
            Segment mn = new Segment(m, n); segments.Add(mn);
            Segment np = new Segment(n, p); segments.Add(np);
            Segment nq = new Segment(n, q); segments.Add(nq);
            Segment pq = new Segment(p, q); segments.Add(pq);

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

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(m, l, n)), (Angle)parser.Get(new Angle(n, q, p))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(n, m, l)), (Angle)parser.Get(new Angle(n, p, q))));
            given.Add(new GeometricCongruentSegments(ln, nq));

            goals.Add(new GeometricCongruentTriangles(new Triangle(l, m, n), new Triangle(q, p, n)));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:26,代码来源:Page316Problem42.cs


示例7: Page73Problem8

        public Page73Problem8(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 73 Problem 8";

            Point t = new Point("T", -4, 5); points.Add(t);
            Point n = new Point("N", 0, 5); points.Add(n);
            Point s = new Point("S", 0, 0); points.Add(s);
            Point h = new Point("H", 0, -5); points.Add(h);
            Point u = new Point("U", 4, -5); points.Add(u);

            Segment nt = new Segment(n, t); segments.Add(nt);
            Segment hu = new Segment(h, u); segments.Add(hu);

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

            pts = new List<Point>();
            pts.Add(n);
            pts.Add(s);
            pts.Add(h);
            collinear.Add(new Collinear(pts));

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

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(s, u, h)), (Angle)parser.Get(new Angle(n, t, s))));
            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(n, s)), (Segment)parser.Get(new Segment(s, h))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(s, n, t), new Triangle(s, h, u)));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:33,代码来源:Page73Problem8.cs


示例8: Page226Problem43

        public Page226Problem43(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 226 Problem 43";

            Point a = new Point("A", 0, 4); points.Add(a);
            Point b = new Point("B", 7, 5); points.Add(b);
            Point c = new Point("C", 11, 10); points.Add(c);
            Point d = new Point("D", 3, 0); points.Add(d);
            Point e = new Point("E", 14, 6); points.Add(e);

            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment ce = new Segment(c, e); segments.Add(ce);

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

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

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

            given.Add(new GeometricParallel(ad, ce));
            given.Add(new GeometricCongruentSegments(ad, ce));

            goals.Add(new GeometricCongruentTriangles(new Triangle(a, b, d), new Triangle(e, b, c)));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:33,代码来源:Page226Problem43.cs


示例9: Page146Problem17

        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 LiveGeometry.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))));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:31,代码来源:Page146Problem17.cs


示例10: Page6Prob30

        public Page6Prob30(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point o = new Point("O", 0, 0); points.Add(o);
            Point p = new Point("P", 2, 0); points.Add(p);
            Point q = new Point("Q", 4, 0); points.Add(q);
            Point r = new Point("R", 6, 0); points.Add(r);
            Point s = new Point("S", 8, 0); points.Add(s);

            Segment rs = new Segment(r, s); segments.Add(rs);

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

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

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

            known.AddSegmentLength(rs, 2);
            given.Add(new GeometricCongruentSegments(rs, (Segment)parser.Get(new Segment(o, p))));
            given.Add(new GeometricCongruentSegments(rs, (Segment)parser.Get(new Segment(p, q))));
            given.Add(new GeometricCongruentSegments(rs, (Segment)parser.Get(new Segment(q, r))));

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

            SetSolutionArea(40 * System.Math.PI);
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:35,代码来源:Page6Prob30.cs


示例11: Page160Problem43

        public Page160Problem43(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 160 Problem 43";

            Point t = new Point("T", 15.0 - 5.0 * Math.Sqrt(3.0), 0); points.Add(t);
            Point s = new Point("S", 10, 0); points.Add(s);
            Point f = new Point("F", 15, 5.0 * Math.Sqrt(3.0)); points.Add(f); // This is the wrong coordinate pair......
            Point e = new Point("E", 15, 5.0 * Math.Sqrt(3.0)); points.Add(e);
            Point r = new Point("R", 20, 0); points.Add(r);

            Segment er = new Segment(e, r); segments.Add(er);
            Segment fs = new Segment(f, s); segments.Add(fs);
            Segment se = new Segment(s, e); segments.Add(se);

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

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

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

            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(s, e, r)), (Angle)parser.Get(new Angle(s, r, e))));
            given.Add(new AngleBisector((Angle)parser.Get(new Angle(r, s, f)), se));

            //goals.Add(new GeometricAngleEquation((Angle)parser.Get(new Angle(f, s, t)), new NumericValue(60)));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:34,代码来源:Page160Problem43.cs


示例12: Page285Problem21

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

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

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment ac = new Segment(a, c); segments.Add(ac);
            Segment ad = new Segment(a, d); segments.Add(ad);
            Segment bd = new Segment(b, d); segments.Add(bd);
            Segment be = new Segment(b, e); segments.Add(be);

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

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

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

            goals.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(b, a, d)), (Angle)parser.Get(new Angle(d, b, a))));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:31,代码来源:Page285Problem21.cs


示例13: JPage153Problem09

        public JPage153Problem09(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Book J Page 153 Problem 9";

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

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

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

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

            // given.Add(new GeometricProportionalSegments((Segment)parser.Get(new Segment(b, d)), (Segment)parser.Get(new Segment(c, d))));
            // given.Add(new GeometricProportionalSegments(ab, ac));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:25,代码来源:JPage153Problem09.cs


示例14: Page284Example44

        public Page284Example44(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 284 Example 4.4";

            Point d = new Point("D", 0, 4); points.Add(d);
            Point e = new Point("E", 3, 0); points.Add(e);
            Point f = new Point("F", 6, 0); points.Add(f);
            Point g = new Point("G", 12, 4); points.Add(g);
            Point h = new Point("H", 9, 0); points.Add(h);

            Segment de = new Segment(d, e); segments.Add(de);
            Segment df = new Segment(d, f); segments.Add(df);
            Segment gh = new Segment(g, h); segments.Add(gh);
            Segment fg = new Segment(f, g); segments.Add(fg);

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

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

            given.Add(new GeometricCongruentSegments((Segment)parser.Get(new Segment(f, e)), (Segment)parser.Get(new Segment(f, h))));
            given.Add(new GeometricCongruentSegments(de, gh));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(d, e, f)), (Angle)parser.Get(new Angle(g, h, f))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(d, e, f), new Triangle(g, h, f)));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:30,代码来源:Page284Example44.cs


示例15: Page2Prob15

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

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

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

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

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

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

            known.AddSegmentLength(oa, 4);

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

            SetSolutionArea(4.566370614);
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:26,代码来源:Page2prob15.cs


示例16: Page4Prob8

        public Page4Prob8(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point a = new Point("A", -1 * System.Math.Sqrt(27), -3); points.Add(a);
            Point b = new Point("B", 0, 6); points.Add(b);
            Point c = new Point("C", System.Math.Sqrt(27), -3); points.Add(c);
            Point p = new Point("P", 0, 0); points.Add(p);

            Segment ab = new Segment(a, b); segments.Add(ab);
            Segment bc = new Segment(b, c); segments.Add(bc);
            Segment ca = new Segment(c, a); segments.Add(ca);

            Segment ap = new Segment(a, p); segments.Add(ap);
            Segment bp = new Segment(b, p); segments.Add(bp);
            Segment cp = new Segment(c, p); segments.Add(cp);

            circles.Add(new Circle(p, 6.0));

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

            Triangle tri = (Triangle)parser.Get(new Triangle(a, b, c));
            given.Add(new Strengthened(tri, new EquilateralTriangle(tri)));

            known.AddSegmentLength(ap, 6);

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

            SetSolutionArea(36 * System.Math.PI - 27 * System.Math.Sqrt(3));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:33,代码来源:Page4Prob8.cs


示例17: Page6Prob32b

        public Page6Prob32b(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 LiveGeometry.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("", 0.5, -4));
            goalRegions = parser.implied.GetAtomicRegionsByPoints(wanted);

            SetSolutionArea(16 * System.Math.PI);
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:26,代码来源:Page6Prob32b.cs


示例18: Page223Problem22

        public Page223Problem22(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 223 Problem 22";

            Point x = new Point("X", 1, 0); points.Add(x);
            Point f = new Point("F", 3, 4); points.Add(f);
            Point s = new Point("S", 4, 6); points.Add(s);
            Point e = new Point("E", 5, 0); points.Add(e);
            Point r = new Point("R", 7, 0); points.Add(r);

            Segment rs = new Segment(r, s); segments.Add(rs);
            Segment ef = new Segment(e, f); segments.Add(ef);

            List<Point> pts = new List<Point>();
            pts.Add(x);
            pts.Add(e);
            pts.Add(r);
            collinear.Add(new Collinear(pts));

            pts = new List<Point>();
            pts.Add(x);
            pts.Add(f);
            pts.Add(s);
            collinear.Add(new Collinear(pts));

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

            given.Add(new GeometricParallel(rs, ef));

            goals.Add(new GeometricSimilarTriangles((Triangle)parser.Get(new Triangle(f, x, e)), (Triangle)parser.Get(new Triangle(s, x, r))));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:32,代码来源:Page223Problem22.cs


示例19: Page2Col1Prob3

        public Page2Col1Prob3(bool onoff, bool complete)
            : base(onoff, complete)
        {
            Point d = new Point("D", 60, 0); points.Add(d);
            Point b = new Point("B", 0, 60); points.Add(b);
            Point o = new Point("O", 0, 0);  points.Add(o);

            Segment bo = new Segment(b, o); segments.Add(bo);
            Segment od = new Segment(o, d); segments.Add(od);

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

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

            given.Add(new RightAngle(new Angle(b, o, d)));

            known.AddSegmentLength(bo, 60);

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

            SetSolutionArea(8482.300165);

            problemName = "Page 2 Col 1 Problem 3";
            GeometryTutorLib.EngineUIBridge.HardCodedProblemsToUI.AddProblem(problemName, points, circles, segments);
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:27,代码来源:Page2Col1Prob3.cs


示例20: Page66Problem16

        public Page66Problem16(bool onoff, bool complete)
            : base(onoff, complete)
        {
            problemName = "Page 66 Problem 16";

            Point a = new Point("A", 1, 5); points.Add(a);
            Point b = new Point("B", 8, 5); points.Add(b);
            Point c = new Point("C", 7, 0); points.Add(c);
            Point d = new Point("D", 0, 0); points.Add(d);

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

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

            given.Add(new GeometricCongruentSegments(ba, cd));
            given.Add(new GeometricCongruentSegments(bc, ad));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(a, b, d)), (Angle)parser.Get(new Angle(c, d, b))));
            given.Add(new GeometricCongruentAngles((Angle)parser.Get(new Angle(a, d, b)), (Angle)parser.Get(new Angle(c, b, d))));

            goals.Add(new GeometricCongruentTriangles(new Triangle(a, b, d), new Triangle(c, d, b)));
        }
开发者ID:wcatykid,项目名称:GeoShader,代码行数:25,代码来源:Page66Problem16.cs



注:本文中的LiveGeometry.TutorParser.HardCodedParserMain类示例整理自Github/MSDocs等源码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。


鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
C# LmPlatformRepositoriesContainer类代码示例发布时间:2022-05-24
下一篇:
C# LiveConnectClient类代码示例发布时间:2022-05-24
热门推荐
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap