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,
double area) : this(fs, giv, kn, goalRs, impl)
{
this.area = area;
}
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();
}
