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