Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
A
C
D
E
F
G
H
I
K
M
N
P
R
S
T
V
A
add(Face[], Vertex[])
- Method in class graph.
Graph
Graph with one new polygon added along an edge.
add(Invariant)
- Method in class graph.
InvariantSet
Adds the invariant.
add(Object)
- Method in class graph.
ConditionGetter
adjacent(int, int)
- Method in class graph.
Formatter
adjacentSize(int)
- Method in class graph.
Formatter
C
check(Object)
- Method in interface graph.
Condition
Condition
- interface graph.
Condition
.
Interface for Condition Getter
ConditionGetter
- class graph.
ConditionGetter
.
General util class: has nothing to do with graphs.
ConditionGetter.Test
- class graph.
ConditionGetter.Test
.
Testing...
ConditionGetter.Test()
- Constructor for class graph.
ConditionGetter.Test
ConditionGetter()
- Constructor for class graph.
ConditionGetter
Constants
- class graph.
Constants
.
This class contains all the constants that are needed for the graph generator as used in the proof of the Kepler conjecture.
Constants.Test
- class graph.
Constants.Test
.
Constants.Test()
- Constructor for class graph.
Constants.Test
contains(Face)
- Method in class graph.
Graph
contains(Invariant)
- Method in class graph.
InvariantSet
return true if there is an isomorphic invariant in H.
contains(Vertex)
- Method in class graph.
Graph
CoordinatesDemo
- class graph.
CoordinatesDemo
.
Constructs a JFrame in the given series and number.
CoordinatesDemo(Graph, String)
- Constructor for class graph.
CoordinatesDemo
CoordinatesDemo(Graph, String, ArrayList)
- Constructor for class graph.
CoordinatesDemo
copy(boolean, Vertex[], Face[])
- Method in class graph.
Graph
deepClone or deepMirrorImage of the graph.
Couple
- class graph.
Couple
.
A couple is a pair (v,F) of a vertex and a Face at that vertex.
Couple.Test
- class graph.
Couple.Test
.
Test Code for Couple
Couple.Test()
- Constructor for class graph.
Couple.Test
Couple(Vertex, Face)
- Constructor for class graph.
Couple
D
directedLength(Vertex, Vertex)
- Method in class graph.
Face
The number of edges along this Face from v1 to v2, moving in clockwise direction.
distinctFIFO
- class graph.
distinctFIFO
.
General utility class: has nothing to do with graphs.
distinctFIFO.Test
- class graph.
distinctFIFO.Test
.
distinctFIFO.Test()
- Constructor for class graph.
distinctFIFO.Test
distinctFIFO()
- Constructor for class graph.
distinctFIFO
E
Enumerator.Test
- class graph.
Enumerator.Test
.
Enumerator.Test()
- Constructor for class graph.
Enumerator.Test
F
Face
- class graph.
Face
.
Each Face object has two properties: 1.
Face.Test
- class graph.
Face.Test
.
Unit testing of Face
Face.Test()
- Constructor for class graph.
Face.Test
faceCount()
- Method in class graph.
Formatter
faceCount(int)
- Method in class graph.
Formatter
faceCount(int, int)
- Method in class graph.
Vertex
Count the number of faces at the vertex that have between minGon and maxGon faces (inclusive).
faceCount(int, int, boolean)
- Static method in class graph.
VertexStructure
faceEnumeration()
- Method in class graph.
Graph
Enumerates all Face objects.
faceSize()
- Method in class graph.
Graph
The number of faces in the graph
fixedScoreFace
- Static variable in class graph.
Constants
Entry[i] contains an upper bound on what is scored by a polygon with i edges.
fixedSquanderFace
- Static variable in class graph.
Constants
Entry[i] contains a lower bound on what is squandered by a polygon with i edges.
fixedSquanderVertex
- Static variable in class graph.
Constants
This table appears in Kepler98.PartIII.Table 5.1.
Formatter
- class graph.
Formatter
.
This class handles conversions of graphs to various formats.
Formatter.Test
- class graph.
Formatter.Test
.
Formatter.Test()
- Constructor for class graph.
Formatter.Test
Formatter(String)
- Constructor for class graph.
Formatter
Constructor
G
generateExceptionalSeries(int)
- Static method in class graph.
Generator
This generates all the graphs in the exceptional series.
generateQuadSeries(int)
- Static method in class graph.
Generator
This takes the Quad case number and generates a list of all the graphs satisfying the list of properties growing out of the Constants file.
Generator
- class graph.
Generator
.
Generate all graphs with a given set of properties.
get(Condition)
- Method in class graph.
ConditionGetter
Retrieve the first object placed in the repository that satisfies condition C.
get(Long)
- Method in class graph.
InvariantSet
The values for a given key
getAddOn(Graph)
- Static method in class graph.
GraphTest.Test
getAny()
- Method in class graph.
Face
getAny returns any vertex of the face.
getAny()
- Method in class graph.
Vertex
getAny returns any face of the vertex.
getBaseVertex()
- Method in class graph.
Graph
getCouples(Couple, Graph)
- Static method in class graph.
Couple
This returns an enumeration of all Couples in Graph G in a canonical order starting with firstCouple.
getExceptionalCase(int)
- Static method in class graph.
Parameter
getF()
- Method in class graph.
Couple
getFace(int, Graph)
- Static method in class graph.
GraphTest.Test
getHash()
- Method in class graph.
Invariant
This is a long with the property that nonisomorphic graphs are unlikely to get the same return value.
getHeight()
- Method in class graph.
Vertex
The height is a field that has only minor significance.
getInstance(Formatter)
- Static method in class graph.
Graph
Construct a graph from a formatter object.
getInstance(int)
- Static method in class graph.
Graph
Construct a polygon graph.
getInstance(int[])
- Static method in class graph.
Graph
Construct graph from seedData giving a graph around one vertex.
getQuadCase(int)
- Static method in class graph.
Parameter
getV()
- Method in class graph.
Couple
Graph
- class graph.
Graph
.
A Graph object represents a planar graph (or better, map).
Graph.Test
- class graph.
Graph.Test
.
Test Class contains test code.
Graph.Test()
- Constructor for class graph.
Graph.Test
graphException
- exception graph.
graphException
.
graphException()
- Constructor for class graph.
graphException
graphException(String)
- Constructor for class graph.
graphException
GraphStack
- class graph.
GraphStack
.
GraphTest
- class graph.
GraphTest
.
GraphTest.Test
- class graph.
GraphTest.Test
.
More tests for Graph class.
GraphTest.Test()
- Constructor for class graph.
GraphTest.Test
GraphTest()
- Constructor for class graph.
GraphTest
H
hashVertex(Vertex)
- Static method in class graph.
Score
helper for neglectableByBasePointSymmetry.
I
initForecastD()
- Method in class graph.
Parameter
initialization for squanderForecast method.
Invariant
- class graph.
Invariant
.
Constructs numerical hashes for a graph G in such a way that it is relatively easy to detect graph isomorphisms.
Invariant.Test
- class graph.
Invariant.Test
.
Invariant.Test()
- Constructor for class graph.
Invariant.Test
Invariant(Graph)
- Constructor for class graph.
Invariant
InvariantSet
- class graph.
InvariantSet
.
Keeps track of a collection of Invariant objects with a hashtable.
InvariantSet.Test
- class graph.
InvariantSet.Test
.
Testing.....
InvariantSet.Test()
- Constructor for class graph.
InvariantSet.Test
InvariantSet()
- Constructor for class graph.
InvariantSet
isFinal()
- Method in class graph.
Face
A final Face is one that cannot be used to construct new graphs.
isFinal(int)
- Method in class graph.
Formatter
Isomorphic(Invariant)
- Method in class graph.
Invariant
Returns true if the underlying graphs are isomorphic, and false otherwise.
K
keySet()
- Method in class graph.
InvariantSet
The key set for the invariants.
M
main(String[])
- Static method in class graph.
CoordinatesDemo
main(String[])
- Static method in class graph.
Formatter
main(String[])
- Static method in class graph.
Generator
matchAndShow(Graph, Parameter)
- Method in class graph.
Tracker
Try to establish an injection of graphs G to template, sending basepoint to basepoint, and first face to first face (in Enumeration order).
Misc
- class graph.
Misc
.
Misc.Test
- class graph.
Misc.Test
.
Misc.Test()
- Constructor for class graph.
Misc.Test
mod(int, int)
- Static method in class graph.
Misc
N
neglectable(Graph, Parameter)
- Static method in class graph.
Score
next(Face, int)
- Method in class graph.
Vertex
Find the count'th successor to Face f in the cyclic order around the vertex.
next(Vertex, int)
- Method in class graph.
Face
Find the count'th successor to vertex v in the cyclic order around the face.
nonFinalCount()
- Method in class graph.
Vertex
nonFinalCount is the number of Faces around the vertex that are not final.
P
Parameter
- class graph.
Parameter
.
This class contains methods that rely on Constants, but not on graphs.
Parameter()
- Constructor for class graph.
Parameter
printGraph()
- Method in class graph.
Formatter
This method is really for test purposes only.
ProperlyIsomorphic(Invariant)
- Method in class graph.
Invariant
Returns true if there is an orientation preserving isomorphism between the graphs.
put(Object)
- Method in class graph.
distinctFIFO
R
remove()
- Method in class graph.
distinctFIFO
S
Score
- class graph.
Score
.
We say that an operation is forced, when that operation is the only operation possible (say at that given vertex).
Score.Test
- class graph.
Score.Test
.
Score.Test()
- Constructor for class graph.
Score.Test
scoreTarget
- Static variable in class graph.
Constants
Any graph scoring less than this amount is tossed out.
scoreUpperBound(Graph, Parameter)
- Static method in class graph.
Score
An upper bound on the score of the Graph.
setBaseVertex(Vertex)
- Method in class graph.
Graph
setFinal(boolean)
- Method in class graph.
Face
setFinal is the only method that violates the immutability of the graph.
size()
- Method in class graph.
Face
The size of a face is the number of vertices that it has.
size()
- Method in class graph.
InvariantSet
size()
- Method in class graph.
Vertex
The size of a vertex is the number of faces with that vertex.
squanderLowerBound(Graph, Parameter)
- Static method in class graph.
Score
includes both faceSquanderLowerBound and excesses.
squanderTarget
- Static variable in class graph.
Constants
Any graph squandering more than this amount is tossed out.
Structure
- class graph.
Structure
.
Looks at structural properties of Graphs.
Structure.Test
- class graph.
Structure.Test
.
more test code in GraphTest...
Structure.Test()
- Constructor for class graph.
Structure.Test
Structure()
- Constructor for class graph.
Structure
structureHas11Type()
- Method in class graph.
Structure.Test
T
tempCount()
- Method in class graph.
Formatter
test_compatibility()
- Method in class graph.
Constants.Test
test_invariant()
- Method in class graph.
Invariant.Test
test()
- Method in class graph.
ConditionGetter.Test
test()
- Method in class graph.
distinctFIFO.Test
test()
- Method in class graph.
Misc.Test
test57()
- Method in class graph.
Enumerator.Test
test case (5,7): lists of length 5 of the form {0,X,X,X,6} with all X's <6 generate the list a second way and compare.
testAdd()
- Method in class graph.
InvariantSet.Test
testAgainstOct()
- Method in class graph.
Score.Test
testConditionGetter()
- Method in class graph.
ConditionGetter.Test
testConversion()
- Method in class graph.
Formatter.Test
testCouple()
- Method in class graph.
Couple.Test
testDeepClone()
- Method in class graph.
Face.Test
testGetInstance()
- Method in class graph.
Face.Test
testGraphConstructor()
- Method in class graph.
GraphTest.Test
testGraphConstructorSize()
- Method in class graph.
Graph.Test
testGraphSeedData()
- Method in class graph.
Graph.Test
TestSeed()
- Method in class graph.
GraphTest.Test
testString
- Static variable in class graph.
Formatter
testVertex()
- Method in class graph.
Vertex.Test
toArchiveString()
- Method in class graph.
Formatter
Conversion from Formatter to archive string format.
toArchiveString(Graph)
- Static method in class graph.
Formatter
Convert a graph into archive string format.
toGraph()
- Method in class graph.
Invariant
toMathematicaString()
- Method in class graph.
Formatter
Mathematica string format is a format that graphs were stored in by the linear program generator, in the "Kepler98" package.
Tracker
- class graph.
Tracker
.
This displays the progress toward generating a particular graph in the archive.
Tracker(Graph)
- Constructor for class graph.
Tracker
Constructs and generates the baseVertex and templateFace on that vertex.
V
values()
- Method in class graph.
InvariantSet
Vertex
- class graph.
Vertex
.
The attributes of a vertex are its height and the array of faces surrounding that vertex.
Vertex.Test
- class graph.
Vertex.Test
.
Vertex.Test()
- Constructor for class graph.
Vertex.Test
vertexCount()
- Method in class graph.
Formatter
vertexCount(int)
- Method in class graph.
Formatter
vertexEnumeration()
- Method in class graph.
Graph
Enumerates all Vertex objects.
vertexSize()
- Method in class graph.
Graph
The number of vertices in the graph.
VertexStructure
- class graph.
VertexStructure
.
VertexStructure(vertex)
- Constructor for class graph.
VertexStructure
A
C
D
E
F
G
H
I
K
M
N
P
R
S
T
V
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES