public UIFigureAnalyzerMain(EngineUIBridge.ProblemDescription pdesc)
{
figure = pdesc.figure;
givens = pdesc.givens;
// Create the precomputer object for coordinate-based pre-comutation analysis
precomputer = new Precomputer.CoordinatePrecomputer(figure);
instantiator = new GenericInstantiator.Instantiator();
queryVector = new ProblemAnalyzer.QueryFeatureVector();
EngineUIBridge.JustificationSwitch.SetAssumptions(EngineUIBridge.Assumption.GetAssumptions());
}
public UIFigureAnalyzerMain(EngineUIBridge.ProblemDescription pdesc)
{
figure = pdesc.figure;
givens = pdesc.givens;
// Create the precomputer object for coordinate-based pre-comutation analysis
precomputer = new Precomputer.CoordinatePrecomputer(figure);
instantiator = new GenericInstantiator.Instantiator();
queryVector = new ProblemAnalyzer.QueryFeatureVector();
EngineUIBridge.JustificationSwitch.SetAssumptions(EngineUIBridge.Assumption.GetAssumptions());
}
