public void PerpendicularBisectorsAreGeneratedCorrectly() { PerpendicularBisector aBR = new PerpendicularBisector(new Point(0, 0), new Point(1, 1)); Line aL = new Line(1, 1, -1); Assert.AreEqual(aL, aBR.Line()); aBR = new PerpendicularBisector(new Point(3, 4), new Point(4, 5)); aL = new Line(1, 1, -8); Assert.AreEqual(aL, aBR.Line()); }
public static List <EdgeAggregator> InstantiateFromPerpendicularBisector(GroundedClause original, PerpendicularBisector pb) { List <EdgeAggregator> newGrounded = new List <EdgeAggregator>(); List <GroundedClause> antecedent = new List <GroundedClause>(); antecedent.Add(original); Strengthened streng1 = new Strengthened(pb.originalInter, new Perpendicular(pb.originalInter)); Strengthened streng2 = new Strengthened(pb.originalInter, new SegmentBisector(pb.originalInter, pb.bisector)); newGrounded.Add(new EdgeAggregator(antecedent, streng1, annotation)); newGrounded.Add(new EdgeAggregator(antecedent, streng2, annotation)); return(newGrounded); }