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