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 |
Tracker
public Tracker(Graph template)
- Constructs and generates the baseVertex and templateFace on that vertex.
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.