//
// Modify the given information to account for redundancy in stated nodes
// That is, does given information strengthen a figure node?
//
private List <GeometryTutorLib.ConcreteAST.GroundedClause> DoGivensStrengthenFigure()
{
List <GeometryTutorLib.ConcreteAST.GroundedClause> modifiedGivens = new List <GeometryTutorLib.ConcreteAST.GroundedClause>();
GeometryTutorLib.ConcreteAST.GroundedClause currentGiven = null;
foreach (GeometryTutorLib.ConcreteAST.GroundedClause give in given)
{
currentGiven = give;
foreach (GeometryTutorLib.ConcreteAST.GroundedClause component in figure)
{
if (component.CanBeStrengthenedTo(give))
{
currentGiven = new GeometryTutorLib.ConcreteAST.Strengthened(component, give);
break;
}
}
modifiedGivens.Add(currentGiven);
}
return(modifiedGivens);
}
//
// Modify the given information to account for redundancy in stated nodes
// That is, does given information strengthen a figure node?
//
private List<GeometryTutorLib.ConcreteAST.GroundedClause> DoGivensStrengthenFigure()
{
List<GeometryTutorLib.ConcreteAST.GroundedClause> modifiedGivens = new List<GeometryTutorLib.ConcreteAST.GroundedClause>();
GeometryTutorLib.ConcreteAST.GroundedClause currentGiven = null;
foreach (GeometryTutorLib.ConcreteAST.GroundedClause given in givens)
{
currentGiven = given;
foreach (GeometryTutorLib.ConcreteAST.GroundedClause component in figure)
{
if (component.CanBeStrengthenedTo(given))
{
currentGiven = new GeometryTutorLib.ConcreteAST.Strengthened(component, given);
break;
}
}
modifiedGivens.Add(currentGiven);
}
return modifiedGivens;
}
