//
// We know at this point that we have a right triangle
//
private static List<EdgeAggregator> InstantiateRightTriangle(Triangle tri, GroundedClause original)
{
List<EdgeAggregator> newGrounded = new List<EdgeAggregator>();
KeyValuePair<Angle, Angle> acuteAngles = tri.GetAcuteAngles();
Complementary newComp = new Complementary(acuteAngles.Key, acuteAngles.Value);
// Hypergraph
List<GroundedClause> antecedent = Utilities.MakeList<GroundedClause>(original);
newGrounded.Add(new EdgeAggregator(antecedent, newComp, annotation));
return newGrounded;
}
