ConjectureChecker
VizualizerWPF.GraphGenerator Class Reference

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()
 

Detailed Description

Class to read drawing from file, create and store graphs

Constructor & Destructor Documentation

◆ GraphGenerator() [1/2]

VizualizerWPF.GraphGenerator.GraphGenerator ( int  n)
inline

◆ GraphGenerator() [2/2]

VizualizerWPF.GraphGenerator.GraphGenerator ( )
inline

Member Function Documentation

◆ CloseFile()

void VizualizerWPF.GraphGenerator.CloseFile ( )
inline

◆ GenerateNextDrawing()

GraphCoordinates VizualizerWPF.GraphGenerator.GenerateNextDrawing ( )
inline

Get next drawing

Returns
New graph

◆ GeneratePreviousDrawing()

GraphCoordinates VizualizerWPF.GraphGenerator.GeneratePreviousDrawing ( )
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)

Returns

◆ GetTopicalDrawing()

GraphCoordinates VizualizerWPF.GraphGenerator.GetTopicalDrawing ( )
inline

◆ ReadUntillNextRS()

GraphCoordinates VizualizerWPF.GraphGenerator.ReadUntillNextRS ( bool  skip = false)
inlineprivate

Read whole points and lines of cliques and generate graph out of it

Returns
New graph

◆ SortFromStartToEnd()

List<double []> VizualizerWPF.GraphGenerator.SortFromStartToEnd ( List< string[]>  line)
inlineprivate

Function to sort order of points to create continous edge

Parameters
lineOne line
Returns
Parsed points to line

Member Data Documentation

◆ counter

int VizualizerWPF.GraphGenerator.counter = 0

◆ graphCoordinates

GraphCoordinates VizualizerWPF.GraphGenerator.graphCoordinates = new GraphCoordinates()
private

◆ streamReader

StreamReader VizualizerWPF.GraphGenerator.streamReader
private

Property Documentation

◆ SizeOfGraph

int VizualizerWPF.GraphGenerator.SizeOfGraph
getset

The documentation for this class was generated from the following file: