|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of diagram in chordDiagrams |
---|
Fields in chordDiagrams with type parameters of type diagram | |
---|---|
java.util.HashMap<java.lang.String,diagram> |
ConfigutaionHolder.configs
File with diagrams |
(package private) java.util.HashMap<java.lang.String,diagram> |
OrbitObserver.diags
Data structure to store diagrams |
java.util.HashMap<java.lang.String,diagram> |
FourTGenerator.diags
Hashmap to store diagrams |
Methods in chordDiagrams that return diagram | |
---|---|
diagram |
diagram.insertKinkAt(int linknumber)
Returns a new diagram with a kink inserted into link referenced by linknumber |
diagram |
diagram.insertKinksAt(int[] presc)
Inserts kinks into the diagram according to the prescription in presc: presc[# of link] = # of kinks to insert into that link |
Methods in chordDiagrams that return types with arguments of type diagram | |
---|---|
java.util.HashMap<java.lang.String,diagram> |
UnframedDiagramGenerator.GenerateDiagrams()
Generates all the diagrams with n chords and k links the diagrams have no kinks entries containing (xx in coloring format, 1-1 in skip format) If the diagram list has already been generated (i.e., if the file with the list exists), the data from the list will be used instead. |
Methods in chordDiagrams with parameters of type diagram | |
---|---|
int |
diagram.compareTo(diagram g)
Compares this diagram to another one by comparing the diagID strings |
int |
DiagramDrawer.diagHeight(diagram g)
Returns the height of the diagram, in pixels |
int |
DiagramDrawer.diagWidth(diagram g)
Returns the width of the diagram, in pixels |
void |
DiagramDrawer.DrawAndSave(diagram g,
java.lang.String filename)
Draws and saves a diagram |
void |
DiagramDrawer.drawChord(diagram g,
int i,
int off_x,
int off_y)
Draws straight chord in the diagram g emanating from endpoint t |
void |
DiagramDrawer.drawCurvedChord(diagram g,
int i,
int off_x,
int off_y)
Draws curved chord in the diagram g emanating from endpoint t |
void |
DiagramDrawer.drawCurvedInnerChord(diagram g,
int i,
int off_x,
int off_y)
Draws curved inner chord in the diagram g emanating from endpoint t (inner = not between links) |
void |
DiagramDrawer.drawDiagram(diagram g,
int off_x,
int off_y,
boolean drawframe)
Draws a diagram on the image. |
void |
DiagramDrawer.drawDot(diagram g,
int t,
int off_x,
int off_y)
Draws a dot that represents an endpoint on a diagram |
boolean |
diagram.eqials(diagram g)
Returns whether this diagram is equivalent to another one. |
boolean |
diagram.equals_ex(diagram g)
returns whether two diagrams are equivalent under link rotation Obsolete with introduction of canonical form |
private boolean |
diagram.EqualsTo(diagram g,
int link)
Recursive function to check whether this diagram is equivalent to some other diagram g. |
static java.lang.String[][] |
FourTGenerator.generate4Ts(diagram g,
int link)
Generates 4T relations for the first pair of feet in the current rotation of a linik |
void |
FourTGenerator.generateAll4Ts(diagram g)
Generates and accounts for all 4T relations for a given diagram |
java.awt.geom.Point2D |
DiagramDrawer.getCircleCenter(diagram g,
int t,
int off_x,
int off_y)
Gets the center of the circle that represents the ring t |
java.awt.geom.Point2D |
DiagramDrawer.getPoint(diagram g,
int t,
int off_x,
int off_y)
Takes an index of a chord endpoint and produces a point |
boolean |
FrameGenDisconnected.isConnected(diagram d)
Overriden so that the generator thinks that every diagram is connected, and thus allows all, even disconnected diagrams to be in the list. |
boolean |
UnframedDiagramGenerator.isConnected(diagram d)
This is the diagram connectivity test used in generating the list of diagrams. |
boolean |
ConfigutaionHolder.isNew(diagram a)
checks whether a given configuration is new, i.e. |
Method parameters in chordDiagrams with type arguments of type diagram | |
---|---|
void |
DiagramDrawer.DrawAndSave(java.util.HashMap<java.lang.String,diagram> hm,
java.lang.Iterable keySet,
java.lang.String name)
Draws and saves a subset of a collection of diagrams The filenames are formed using the pattern "name_n-k_#.png", where # stays for index in the list |
void |
OrbitElement.drawElement(DiagramDrawer D,
java.lang.String fname,
java.util.HashMap<java.lang.String,diagram> diags,
java.util.ArrayList<java.lang.String> keys)
Draws this orbit element and saves it to a file |
void |
Orbit.drawOrbit(DiagramDrawer D,
java.util.HashMap<java.lang.String,diagram> diags,
java.lang.String fname)
Draws the orbit with the specified Diagram Drawer Elements of the orbit are saved to the filenames of the form fname_i.PNG |
void |
DiagramDrawer.DrawRelation(Relation relation,
java.util.ArrayList<java.lang.String> keySet,
java.util.HashMap<java.lang.String,diagram> diags,
int off_x,
int off_y)
Draws a relation on the image canvas |
int |
DiagramDrawer.relationDiagramHeight(Relation relation,
java.util.ArrayList<java.lang.String> keySet,
java.util.HashMap<java.lang.String,diagram> diags)
Returns the relation depiction height |
int |
DiagramDrawer.relationDiagramWidth(Relation relation,
java.util.ArrayList<java.lang.String> keySet,
java.util.HashMap<java.lang.String,diagram> diags)
Returns the relation depiction width |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |