ConjectureChecker
VizualizerWPF.GraphCoordinates Class Reference

Class to store graph to know what to draw on canvas

Parameters
verticesHashset to store vertices
edgeList to store edges
neigborsDictionary to store neighbors of all vertices
More...

Public Member Functions

void AddToDictionary (Vertex key, Edge value)
 Safe version of adding to dictionary if value is not present, new list is created More...
 
void SaveCoordinates ()
 Function to save coordinates to file. More...
 
bool Chech3AMKConjecture (int[,] AMKEdgesArray, int size)
 Check if the conjecture holds for given values of AMKEdgesArray More...
 
bool Chech2AMKConjecture (int[,] AMKEdgesArray, int size)
 Check if the conjecture holds for given values of AMKEdgesArray More...
 
void DeleteEdgeFromDictionary (Vertex from, Edge to)
 
IEnumerable< Line > GetLines (Vertex vertex)
 Get all lines incident to vertex so that first end is vertex More...
 
IEnumerable< VertexGetVerticesAndIntersections ()
 Get all vertices and intersection contained in graphCoordinates More...
 
Edge FindEdgeFromVertices (Vertex a, Vertex b)
 Function to find edge between two vertices More...
 
Vertex FindVertex (Point center)
 Function to find vertex with center equal to center. More...
 
Vertex FindVertex (Ellipse ellipse, double sizeOfVertex)
 Function to find vertex containg ellipse More...
 
HashSet< Point > GetAllPoints ()
 Function to get all points from vertices More...
 
IEnumerable< Line > LinesIterator ()
 
IEnumerable< Point > PointsIterator ()
 
List< object > PrintingLines ()
 
List< object > PrintingLines (List< Line > listLines)
 
List< object > PrintingVertices ()
 

Public Attributes

HashSet< Vertexvertices = new HashSet<Vertex>()
 
List< Edgeedges = new List<Edge>()
 
Dictionary< Vertex, List< Edge > > neighbors = new Dictionary<Vertex, List<Edge>>()
 
 int []
 

Static Public Attributes

static Point farFarAway = new Point { X = 10000, Y = 10000 }
 
static Point facePoint = farFarAway
 
static int maximalKEdges = 8
 Function to recalculate number of k edges and AM, AMAM, AMAMAM k edges It is done by finding all triangles upon all edges and counting k for every edge (also invariant counting is done) More...
 

Private Types

enum class  Difference { Zero , One , Two }
 

Private Member Functions

void PrintLine (StreamWriter streamWriter, Edge edge)
 Function to print given edge, meaning all its line segment More...
 
int[] ReCalculateKEdges (List< Vertex > withouts=null, Edge withoutEdge=null)
 

Static Private Attributes

static Brush[] colors
 

Detailed Description

Class to store graph to know what to draw on canvas

Parameters
verticesHashset to store vertices
edgeList to store edges
neigborsDictionary to store neighbors of all vertices

Member Enumeration Documentation

◆ Difference

Enumerator
Zero 
One 
Two 

Member Function Documentation

◆ AddToDictionary()

void VizualizerWPF.GraphCoordinates.AddToDictionary ( Vertex  key,
Edge  value 
)
inline

Safe version of adding to dictionary if value is not present, new list is created

Parameters
key
value

◆ Chech2AMKConjecture()

bool VizualizerWPF.GraphCoordinates.Chech2AMKConjecture ( int  AMKEdgesArray[,],
int  size 
)
inline

Check if the conjecture holds for given values of AMKEdgesArray

Parameters
AMKEdgesArray
size
Returns

◆ Chech3AMKConjecture()

bool VizualizerWPF.GraphCoordinates.Chech3AMKConjecture ( int  AMKEdgesArray[,],
int  size 
)
inline

Check if the conjecture holds for given values of AMKEdgesArray

Parameters
AMKEdgesArray
size
Returns

◆ DeleteEdgeFromDictionary()

void VizualizerWPF.GraphCoordinates.DeleteEdgeFromDictionary ( Vertex  from,
Edge  to 
)
inline

◆ FindEdgeFromVertices()

Edge VizualizerWPF.GraphCoordinates.FindEdgeFromVertices ( Vertex  a,
Vertex  b 
)
inline

Function to find edge between two vertices

Parameters
aFirst vertex
bSecond vertex
Returns
Found edge

◆ FindVertex() [1/2]

Vertex VizualizerWPF.GraphCoordinates.FindVertex ( Ellipse  ellipse,
double  sizeOfVertex 
)
inline

Function to find vertex containg ellipse

Parameters
ellipse
Returns

◆ FindVertex() [2/2]

Vertex VizualizerWPF.GraphCoordinates.FindVertex ( Point  center)
inline

Function to find vertex with center equal to center.

Parameters
center
Returns

◆ GetAllPoints()

HashSet<Point> VizualizerWPF.GraphCoordinates.GetAllPoints ( )
inline

Function to get all points from vertices

Parameters
graphCoordinates
Returns

◆ GetLines()

IEnumerable<Line> VizualizerWPF.GraphCoordinates.GetLines ( Vertex  vertex)
inline

Get all lines incident to vertex so that first end is vertex

Parameters
vertex
Returns

◆ GetVerticesAndIntersections()

IEnumerable<Vertex> VizualizerWPF.GraphCoordinates.GetVerticesAndIntersections ( )
inline

Get all vertices and intersection contained in graphCoordinates

Returns

◆ LinesIterator()

IEnumerable<Line> VizualizerWPF.GraphCoordinates.LinesIterator ( )
inline

◆ PointsIterator()

IEnumerable<Point> VizualizerWPF.GraphCoordinates.PointsIterator ( )
inline

◆ PrintingLines() [1/2]

List<object> VizualizerWPF.GraphCoordinates.PrintingLines ( )
inline

◆ PrintingLines() [2/2]

List<object> VizualizerWPF.GraphCoordinates.PrintingLines ( List< Line >  listLines)
inline

◆ PrintingVertices()

List<object> VizualizerWPF.GraphCoordinates.PrintingVertices ( )
inline

◆ PrintLine()

void VizualizerWPF.GraphCoordinates.PrintLine ( StreamWriter  streamWriter,
Edge  edge 
)
inlineprivate

Function to print given edge, meaning all its line segment

Parameters
streamWriter
edge

◆ ReCalculateKEdges()

int [] VizualizerWPF.GraphCoordinates.ReCalculateKEdges ( List< Vertex withouts = null,
Edge  withoutEdge = null 
)
inlineprivate

◆ SaveCoordinates()

void VizualizerWPF.GraphCoordinates.SaveCoordinates ( )
inline

Function to save coordinates to file.

Member Data Documentation

◆ colors

Brush [] VizualizerWPF.GraphCoordinates.colors
staticprivate
Initial value:
= new Brush[] {Brushes.Red, Brushes.Orange, Brushes.Yellow, Brushes.LightGreen, Brushes.ForestGreen,
Brushes.LightSkyBlue, Brushes.Blue, Brushes.DarkBlue, Brushes.Purple, Brushes.Pink }

◆ edges

List<Edge> VizualizerWPF.GraphCoordinates.edges = new List<Edge>()

◆ facePoint

Point VizualizerWPF.GraphCoordinates.facePoint = farFarAway
static

◆ farFarAway

Point VizualizerWPF.GraphCoordinates.farFarAway = new Point { X = 10000, Y = 10000 }
static

◆ int

VizualizerWPF.GraphCoordinates.int[]

◆ maximalKEdges

int VizualizerWPF.GraphCoordinates.maximalKEdges = 8
static

Function to recalculate number of k edges and AM, AMAM, AMAMAM k edges It is done by finding all triangles upon all edges and counting k for every edge (also invariant counting is done)

◆ neighbors

Dictionary<Vertex, List<Edge> > VizualizerWPF.GraphCoordinates.neighbors = new Dictionary<Vertex, List<Edge>>()

◆ vertices

HashSet<Vertex> VizualizerWPF.GraphCoordinates.vertices = new HashSet<Vertex>()

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