graph
Class Tracker

java.lang.Object
  |
  +--graph.Tracker

public class Tracker
extends java.lang.Object

This displays the progress toward generating a particular graph in the archive. The graph to be tracked is the template. JFrames showing the progress are displayed, as the cases are encountered.

This class is for debugging purposes only.

The crucial method is match, which recursively searches for an injective edge-preserving morphism from the partially completed graph to the template.


Constructor Summary
Tracker(Graph template)
          Constructs and generates the baseVertex and templateFace on that vertex.
 
Method Summary
 boolean matchAndShow(Graph G, Parameter param)
          Try to establish an injection of graphs G to template, sending basepoint to basepoint, and first face to first face (in Enumeration order).
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Tracker

public Tracker(Graph template)
Constructs and generates the baseVertex and templateFace on that vertex.
Method Detail

matchAndShow

public boolean matchAndShow(Graph G,
                            Parameter param)
Try to establish an injection of graphs G to template, sending basepoint to basepoint, and first face to first face (in Enumeration order). If a bijection is found, illustrate it. This method initializes data structures, then calls the recursive match.
Parameters:
param - scoring Parameter, nonessential, but useful for diagnostics.