//
// Construct the main Hypergraph
//
private void ConstructHypergraph()
{
// Resets all saved data to allow multiple problems
GeometryTutorLib.GenericInstantiator.Instantiator.Clear();
// Build the hypergraph through instantiation
deductiveGraph = instantiator.Instantiate(figure, given);
}
//
// Construct the main Hypergraph
//
private void ConstructHypergraph()
{
// Resets all saved data to allow multiple problems
GeometryTutorLib.GenericInstantiator.Instantiator.Clear();
// Build the hypergraph through instantiation
graph = instantiator.Instantiate(figure, givens);
if (GeometryTutorLib.Utilities.DEBUG)
{
graph.DumpNonEquationClauses();
graph.DumpEquationClauses();
}
}