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();
}
//
// Construct requires this minimal set from a hard-coded test.
//
public ImpliedComponentCalculator(List<Point> pts,
List<Collinear> coll,
List<Segment> segs,
List<Circle> circs)
{
// --- Begin timing ---
stopwatch = new Stopwatch();
stopwatch.Start();
points = pts;
collinear = coll;
segments = segs;
circles = circs;
polygons = Polygon.ConstructPolygonContainer();
ConstructCommonComponents();
}
//
// Construct requires this minimal set from a hard-coded test.
//
public ImpliedComponentCalculator(List <Point> pts,
List <Collinear> coll,
List <Segment> segs,
List <Circle> circs)
{
// --- Begin timing ---
stopwatch = new Stopwatch();
stopwatch.Start();
points = pts;
collinear = coll;
segments = segs;
circles = circs;
polygons = Polygon.ConstructPolygonContainer();
ConstructCommonComponents();
}
