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