// // // private static List<EdgeAggregator> CollectAndCheckSAS(Triangle ct1, Triangle ct2, CongruentAngles cas, SegmentRatioEquation sre) { List<EdgeAggregator> newGrounded = new List<EdgeAggregator>(); // Proportions must actually equate //if (!pss1.ProportionallyEquals(pss2)) return newGrounded; //// The smaller and larger segments of the proportionality must be distinct, respectively. //if (!pss1.IsDistinctFrom(pss2)) return newGrounded; // The proportional relationships need to link the given triangles if (!cas.LinksTriangles(ct1, ct2)) return newGrounded; if (!sre.LinksTriangles(ct1, ct2)) return newGrounded; //if (!pss1.LinksTriangles(ct1, ct2)) return newGrounded; //if (!pss2.LinksTriangles(ct1, ct2)) return newGrounded; // The smaller segments must belong to one triangle, same for larger segments. //if (!(ct1.HasSegment(pss1.smallerSegment) && ct1.HasSegment(pss2.smallerSegment) && // ct2.HasSegment(pss1.largerSegment) && ct2.HasSegment(pss2.largerSegment)) && // !(ct2.HasSegment(pss1.smallerSegment) && ct2.HasSegment(pss2.smallerSegment) && // ct1.HasSegment(pss1.largerSegment) && ct1.HasSegment(pss2.largerSegment))) // return newGrounded; KeyValuePair<Segment, Segment> segsTri1 = sre.GetSegments(ct1); KeyValuePair<Segment, Segment> segsTri2 = sre.GetSegments(ct2); //Segment seg1Tri1 = ct1.GetSegment(pss1); //Segment seg2Tri1 = ct1.GetSegment(pss2); //Segment seg1Tri2 = ct2.GetSegment(pss1); //Segment seg2Tri2 = ct2.GetSegment(pss2); // Avoid redundant segments, if they arise if (segsTri1.Key.StructurallyEquals(segsTri1.Value)) return newGrounded; if (segsTri2.Key.StructurallyEquals(segsTri2.Value)) return newGrounded; //if (seg1Tri1.StructurallyEquals(seg2Tri1)) return newGrounded; //if (seg1Tri2.StructurallyEquals(seg2Tri2)) return newGrounded; Angle angleTri1 = ct1.AngleBelongs(cas); Angle angleTri2 = ct2.AngleBelongs(cas); // Check both triangles if this is the included angle; if it is, we have SAS if (!angleTri1.IsIncludedAngle(segsTri1.Key, segsTri1.Value)) return newGrounded; if (!angleTri2.IsIncludedAngle(segsTri2.Key, segsTri2.Value)) return newGrounded; // // Generate Similar Triangles // Point vertex1 = angleTri1.GetVertex(); Point vertex2 = angleTri2.GetVertex(); // Construct a list of pairs to return; this is the correspondence from triangle 1 to triangle 2 List<KeyValuePair<Point, Point>> pairs = new List<KeyValuePair<Point, Point>>(); // The vertices of the angles correspond pairs.Add(new KeyValuePair<Point, Point>(vertex1, vertex2)); // For the segments, look at the congruences and select accordingly pairs.Add(new KeyValuePair<Point, Point>(segsTri1.Key.OtherPoint(vertex1), segsTri2.Key.OtherPoint(vertex2))); pairs.Add(new KeyValuePair<Point, Point>(segsTri1.Value.OtherPoint(vertex1), segsTri2.Value.OtherPoint(vertex2))); List<GroundedClause> simTriAntecedent = new List<GroundedClause>(); simTriAntecedent.Add(ct1); simTriAntecedent.Add(ct2); simTriAntecedent.Add(cas); simTriAntecedent.Add(sre); newGrounded.AddRange(GenerateCorrespondingParts(pairs, simTriAntecedent, annotation)); return newGrounded; }
// // Of all the congruent segment pairs, choose a subset of 3. Exhaustively check all; if they work, return the set. // private static List<EdgeAggregator> CheckForSSS(Triangle ct1, Triangle ct2, SegmentRatioEquation sre1, SegmentRatioEquation sre2) { List<EdgeAggregator> newGrounded = new List<EdgeAggregator>(); // // The proportional relationships need to link the given triangles // if (!sre1.LinksTriangles(ct1, ct2)) return newGrounded; if (!sre2.LinksTriangles(ct1, ct2)) return newGrounded; // // Both equations must share a fraction (ratio) // if (!sre1.SharesRatio(sre2)) return newGrounded; // // Collect all of the applicable segments // SegmentRatio shared = sre1.GetSharedRatio(sre2); SegmentRatio other1 = sre1.GetOtherRatio(shared); SegmentRatio other2 = sre2.GetOtherRatio(shared); Segment seg1Tri1 = ct1.GetSegment(shared); Segment seg2Tri1 = ct1.GetSegment(other1); Segment seg3Tri1 = ct1.GetSegment(other2); if (seg1Tri1 == null || seg2Tri1 == null || seg3Tri1 == null) return newGrounded; Segment seg1Tri2 = ct2.GetSegment(shared); Segment seg2Tri2 = ct2.GetSegment(other1); Segment seg3Tri2 = ct2.GetSegment(other2); if (seg1Tri2 == null || seg2Tri2 == null || seg3Tri2 == null) return newGrounded; // Avoid redundant segments, if they arise if (seg1Tri1.StructurallyEquals(seg2Tri1) || seg1Tri1.StructurallyEquals(seg3Tri1) || seg2Tri1.StructurallyEquals(seg3Tri1)) return newGrounded; if (seg1Tri2.StructurallyEquals(seg2Tri2) || seg1Tri2.StructurallyEquals(seg3Tri2) || seg2Tri2.StructurallyEquals(seg3Tri2)) return newGrounded; // // Collect the corresponding points // List<KeyValuePair<Point, Point>> pointPairs = new List<KeyValuePair<Point, Point>>(); pointPairs.Add(new KeyValuePair<Point, Point>(seg1Tri1.SharedVertex(seg2Tri1), seg1Tri2.SharedVertex(seg2Tri2))); pointPairs.Add(new KeyValuePair<Point, Point>(seg1Tri1.SharedVertex(seg3Tri1), seg1Tri2.SharedVertex(seg3Tri2))); pointPairs.Add(new KeyValuePair<Point, Point>(seg2Tri1.SharedVertex(seg3Tri1), seg2Tri2.SharedVertex(seg3Tri2))); List<GroundedClause> simTriAntecedent = new List<GroundedClause>(); simTriAntecedent.Add(ct1); simTriAntecedent.Add(ct2); simTriAntecedent.Add(sre1); simTriAntecedent.Add(sre2); newGrounded.AddRange(SASSimilarity.GenerateCorrespondingParts(pointPairs, simTriAntecedent, annotation)); return newGrounded; }