ConjectureChecker
|
Class to read drawing from file, create and store graphs More...
Public Member Functions | |
GraphGenerator (int n) | |
GraphGenerator () | |
void | CloseFile () |
GraphCoordinates | GetTopicalDrawing () |
GraphCoordinates | GenerateNextDrawing () |
Get next drawing More... | |
GraphCoordinates | GeneratePreviousDrawing () |
Get previous drawing by going from the beggining of the file (the reopeing of the file is done in the method calling this one) More... | |
Public Attributes | |
int | counter = 0 |
Properties | |
int | SizeOfGraph [get, set] |
Private Member Functions | |
List< double[]> | SortFromStartToEnd (List< string[]> line) |
Function to sort order of points to create continous edge More... | |
GraphCoordinates | ReadUntillNextRS (bool skip=false) |
Read whole points and lines of cliques and generate graph out of it More... | |
Private Attributes | |
StreamReader | streamReader |
GraphCoordinates | graphCoordinates = new GraphCoordinates() |
Class to read drawing from file, create and store graphs
|
inline |
|
inline |
|
inline |
|
inline |
Get next drawing
|
inline |
Get previous drawing by going from the beggining of the file (the reopeing of the file is done in the method calling this one)
|
inline |
|
inlineprivate |
Read whole points and lines of cliques and generate graph out of it
|
inlineprivate |
Function to sort order of points to create continous edge
line | One line |
int VizualizerWPF.GraphGenerator.counter = 0 |
|
private |
|
private |
|
getset |