public override bool StructurallyEquals(Object obj) { PerpendicularBisector p = obj as PerpendicularBisector; if (p == null) { return(false); } return(base.StructurallyEquals(obj)); }
public override bool Equals(Object obj) { PerpendicularBisector p = obj as PerpendicularBisector; if (p == null) { return(false); } return(intersect.Equals(p.intersect) && lhs.Equals(p.lhs) && rhs.Equals(p.rhs)); }
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; }