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