private static List <EdgeAggregator> InstantiateToSquare(Rhombus rhombus, RightAngle ra, GroundedClause originalRhom, GroundedClause originalRightAngle)
{
List <EdgeAggregator> newGrounded = new List <EdgeAggregator>();
// Does this right angle apply to this quadrilateral?
if (!rhombus.HasAngle(ra))
{
return(newGrounded);
}
//
// Create the new Square object
//
Strengthened newSquare = new Strengthened(rhombus, new Square(rhombus));
// For hypergraph
List <GroundedClause> antecedent = new List <GroundedClause>();
antecedent.Add(originalRhom);
antecedent.Add(originalRightAngle);
newGrounded.Add(new EdgeAggregator(antecedent, newSquare, annotation));
return(newGrounded);
}
