//
// Actually perform pebbling on the integer hypergraph (pebbles forward and backward)
//
private void Pebble()
{
pebbler = new GeometryTutorLib.Pebbler.Pebbler(deductiveGraph, pebblerGraph);
// Acquire the integer values of the intrinsic / figure nodes
List <int> intrinsicSet = GeometryTutorLib.Utilities.CollectGraphIndices(deductiveGraph, figure);
// Acquire the integer values of the givens (from the original
List <int> givenSet = GeometryTutorLib.Utilities.CollectGraphIndices(deductiveGraph, given);
// Perform pebbling based on the <figure, given> pair.
pebbler.PebbleForwardForShading(intrinsicSet, givenSet);
if (GeometryTutorLib.Utilities.PEBBLING_DEBUG)
{
pebbler.DebugDumpEdges();
}
}
//
// Actually perform pebbling on the integer hypergraph (pebbles forward and backward)
//
private void Pebble()
{
pebbler = new GeometryTutorLib.Pebbler.Pebbler(graph, pebblerGraph);
pathGenerator = new GeometryTutorLib.ProblemAnalyzer.PathGenerator(graph);
// Acquire the integer values of the intrinsic / figure nodes
List <int> intrinsicSet = GeometryTutorLib.Utilities.CollectGraphIndices(graph, figure);
// Acquire the integer values of the givens (from the original
List <int> givenSet = GeometryTutorLib.Utilities.CollectGraphIndices(graph, givens);
// Perform pebbling based on the <figure, given> pair.
pebbler.Pebble(intrinsicSet, givenSet);
if (GeometryTutorLib.Utilities.PEBBLING_DEBUG)
{
pebbler.DebugDumpEdges();
}
}
//
// Actually perform pebbling on the integer hypergraph (pebbles forward and backward)
//
private void Pebble()
{
pebbler = new GeometryTutorLib.Pebbler.Pebbler(graph, pebblerGraph);
pathGenerator = new GeometryTutorLib.ProblemAnalyzer.PathGenerator(graph);
// Acquire the integer values of the intrinsic / figure nodes
List<int> intrinsicSet = GeometryTutorLib.Utilities.CollectGraphIndices(graph, figure);
// Acquire the integer values of the givens (from the original
List<int> givenSet = GeometryTutorLib.Utilities.CollectGraphIndices(graph, givens);
// Perform pebbling based on the <figure, given> pair.
pebbler.Pebble(intrinsicSet, givenSet);
if (GeometryTutorLib.Utilities.PEBBLING_DEBUG)
{
pebbler.DebugDumpEdges();
}
}
//
// Actually perform pebbling on the integer hypergraph (pebbles forward and backward)
//
private void Pebble()
{
pebbler = new GeometryTutorLib.Pebbler.Pebbler(deductiveGraph, pebblerGraph);
// Acquire the integer values of the intrinsic / figure nodes
List<int> intrinsicSet = GeometryTutorLib.Utilities.CollectGraphIndices(deductiveGraph, figure);
// Acquire the integer values of the givens (from the original
List<int> givenSet = GeometryTutorLib.Utilities.CollectGraphIndices(deductiveGraph, given);
// Perform pebbling based on the <figure, given> pair.
pebbler.PebbleForwardForShading(intrinsicSet, givenSet);
if (GeometryTutorLib.Utilities.PEBBLING_DEBUG)
{
pebbler.DebugDumpEdges();
}
}
