// private XmlWriter writer; public HardCodedFigureAnalyzerMain(List<GeometryTutorLib.ConcreteAST.GroundedClause> fs, List<GeometryTutorLib.ConcreteAST.GroundedClause> gs, List<GeometryTutorLib.ConcreteAST.GroundedClause> gls) { this.figure = fs; this.givens = gs; this.goals = gls; WriteProblemToXML(); // Create the precomputer object for coordinate-based pre-comutation analysis precomputer = new GeometryTutorLib.Precomputer.CoordinatePrecomputer(figure); instantiator = new GeometryTutorLib.GenericInstantiator.Instantiator(); //queryVector = new GeometryTutorLib.ProblemAnalyzer.QueryFeatureVector(givens.Count); }
// private XmlWriter writer; public HardCodedFigureAnalyzerMain(List <GeometryTutorLib.ConcreteAST.GroundedClause> fs, List <GeometryTutorLib.ConcreteAST.GroundedClause> gs, List <GeometryTutorLib.ConcreteAST.GroundedClause> gls) { this.figure = fs; this.givens = gs; this.goals = gls; WriteProblemToXML(); // Create the precomputer object for coordinate-based pre-comutation analysis precomputer = new GeometryTutorLib.Precomputer.CoordinatePrecomputer(figure); instantiator = new GeometryTutorLib.GenericInstantiator.Instantiator(); //queryVector = new GeometryTutorLib.ProblemAnalyzer.QueryFeatureVector(givens.Count); }