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