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