public void SendProblem( HypergraphWrapper wrapper, GeometryTutorLib.ProblemAnalyzer.Problem<GeometryTutorLib.Hypergraph.EdgeAnnotation> p, string probStr) { this.wrapper = wrapper; problem = p; problemString = probStr; }
// // Construct the main Hypergraph // private void ConstructHypergraph() { // Resets all saved data to allow multiple problems GenericInstantiator.Instantiator.Clear(); // Build the hypergraph through instantiation graph = instantiator.Instantiate(figure, givens); // Construct the hypergraph wrapper to give access to the front-end. hgWrapper = new EngineUIBridge.HypergraphWrapper(graph); if (Utilities.DEBUG) { graph.DumpNonEquationClauses(); graph.DumpEquationClauses(); } }