// 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); }
public HardCodedShadedAreaMain(List<GeometryTutorLib.ConcreteAST.GroundedClause> fs, List<GeometryTutorLib.ConcreteAST.GroundedClause> giv, GeometryTutorLib.Area_Based_Analyses.KnownMeasurementsAggregator kn, List<GeometryTutorLib.Area_Based_Analyses.Atomizer.AtomicRegion> goalRs, GeometryTutorLib.TutorParser.ImpliedComponentCalculator impl) { this.figure = fs; this.given = giv; this.known = kn; this.goalRegions = goalRs; this.area = -1; this.implied = impl; instantiator = new GeometryTutorLib.GenericInstantiator.Instantiator(); stopwatch = new Stopwatch(); }
public HardCodedShadedAreaMain(List <GeometryTutorLib.ConcreteAST.GroundedClause> fs, List <GeometryTutorLib.ConcreteAST.GroundedClause> giv, GeometryTutorLib.Area_Based_Analyses.KnownMeasurementsAggregator kn, List <GeometryTutorLib.Area_Based_Analyses.Atomizer.AtomicRegion> goalRs, GeometryTutorLib.TutorParser.ImpliedComponentCalculator impl) { this.figure = fs; this.given = giv; this.known = kn; this.goalRegions = goalRs; this.area = -1; this.implied = impl; instantiator = new GeometryTutorLib.GenericInstantiator.Instantiator(); stopwatch = new Stopwatch(); }