//
// All right angles are supplementary.
//
public static List<EdgeAggregator> InstantiateToSupplementary(CongruentAngles cas)
{
List<EdgeAggregator> newGrounded = new List<EdgeAggregator>();
if (cas.IsReflexive()) return newGrounded;
if (!(cas.ca1 is RightAngle) || !(cas.ca2 is RightAngle)) return newGrounded;
Supplementary supp = new Supplementary(cas.ca1, cas.ca2);
supp.SetNotASourceNode();
supp.SetNotAGoalNode();
supp.SetClearDefinition();
newGrounded.Add(new EdgeAggregator(Utilities.MakeList<GroundedClause>(cas), supp, annotation));
return newGrounded;
}
// A B
// \ /
// \ /
// \/
// /\ X
// / \
// / \
// C D
//
// Intersection(X, Segment(A, D), Segment(B, C)) -> Supplementary(Angle(A, X, B), Angle(B, X, D))
// Supplementary(Angle(B, X, D), Angle(D, X, C))
// Supplementary(Angle(D, X, C), Angle(C, X, A))
// Supplementary(Angle(C, X, A), Angle(A, X, B))
//
public static List<EdgeAggregator> InstantiateToSupplementary(Intersection inter)
{
List<EdgeAggregator> newGrounded = new List<EdgeAggregator>();
// The situation looks like this:
// |
// |
// |_______
//
if (inter.StandsOnEndpoint()) return newGrounded;
// The situation looks like this:
// |
// |
// _____|_______
//
if (inter.StandsOn())
{
Point up = null;
Point left = null;
Point right = null;
if (inter.lhs.HasPoint(inter.intersect))
{
up = inter.lhs.OtherPoint(inter.intersect);
left = inter.rhs.Point1;
right = inter.rhs.Point2;
}
else
{
up = inter.rhs.OtherPoint(inter.intersect);
left = inter.lhs.Point1;
right = inter.lhs.Point2;
}
// Gets the single angle object from the original figure
Angle newAngle1 = Angle.AcquireFigureAngle(new Angle(left, inter.intersect, up));
Angle newAngle2 = Angle.AcquireFigureAngle(new Angle(right, inter.intersect, up));
Supplementary supp = new Supplementary(newAngle1, newAngle2);
supp.SetNotASourceNode();
supp.SetNotAGoalNode();
supp.SetClearDefinition();
newGrounded.Add(new EdgeAggregator(MakeAntecedent(inter, supp.angle1, supp.angle2), supp, annotation));
}
//
// The situation is standard and results in 4 supplementary relationships
//
else
{
Angle newAngle1 = Angle.AcquireFigureAngle(new Angle(inter.lhs.Point1, inter.intersect, inter.rhs.Point1));
Angle newAngle2 = Angle.AcquireFigureAngle(new Angle(inter.lhs.Point1, inter.intersect, inter.rhs.Point2));
Angle newAngle3 = Angle.AcquireFigureAngle(new Angle(inter.lhs.Point2, inter.intersect, inter.rhs.Point1));
Angle newAngle4 = Angle.AcquireFigureAngle(new Angle(inter.lhs.Point2, inter.intersect, inter.rhs.Point2));
List<Supplementary> newSupps = new List<Supplementary>();
newSupps.Add(new Supplementary(newAngle1, newAngle2));
newSupps.Add(new Supplementary(newAngle2, newAngle4));
newSupps.Add(new Supplementary(newAngle3, newAngle4));
newSupps.Add(new Supplementary(newAngle3, newAngle1));
foreach (Supplementary supp in newSupps)
{
supp.SetNotASourceNode();
supp.SetNotAGoalNode();
supp.SetClearDefinition();
newGrounded.Add(new EdgeAggregator(MakeAntecedent(inter, supp.angle1, supp.angle2), supp, annotation));
}
}
return newGrounded;
}
