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