ConjectureChecker
VizualizerWPF.ConjectureChecker Class Reference

Properties

static ConjectureChecker Instance [get]
 

Private Member Functions

bool TryFace3AMK (GraphCoordinates graphCoordinates)
 Function to check if the the conjecture holds for currently set face More...
 
bool TryFace2AMK (GraphCoordinates graphCoordinates)
 Function to check if the the conjecture holds for currently set face More...
 
void Check3AMKConjecture ()
 Checking conjecture for all alredy generated drawings drawings More...
 
void Check2AMKConjecture ()
 Checking conjecture for all alredy generated drawings drawings More...
 

Static Private Member Functions

static IEnumerable< Point > GetAllReferenceFaces (GraphCoordinates graphCoordinates)
 Iterator to get all faces (points) to check the conjectures More...
 
static void Main (string[] args)
 

Static Private Attributes

static ConjectureChecker instance = new ConjectureChecker()
 

Member Function Documentation

◆ Check2AMKConjecture()

void VizualizerWPF.ConjectureChecker.Check2AMKConjecture ( )
inlineprivate

Checking conjecture for all alredy generated drawings drawings

◆ Check3AMKConjecture()

void VizualizerWPF.ConjectureChecker.Check3AMKConjecture ( )
inlineprivate

Checking conjecture for all alredy generated drawings drawings

◆ GetAllReferenceFaces()

static IEnumerable<Point> VizualizerWPF.ConjectureChecker.GetAllReferenceFaces ( GraphCoordinates  graphCoordinates)
inlinestaticprivate

Iterator to get all faces (points) to check the conjectures

◆ Main()

static void VizualizerWPF.ConjectureChecker.Main ( string[]  args)
inlinestaticprivate

◆ TryFace2AMK()

bool VizualizerWPF.ConjectureChecker.TryFace2AMK ( GraphCoordinates  graphCoordinates)
inlineprivate

Function to check if the the conjecture holds for currently set face

Parameters
graphCoordinates
Returns

◆ TryFace3AMK()

bool VizualizerWPF.ConjectureChecker.TryFace3AMK ( GraphCoordinates  graphCoordinates)
inlineprivate

Function to check if the the conjecture holds for currently set face

Parameters
graphCoordinates
Returns

Member Data Documentation

◆ instance

ConjectureChecker VizualizerWPF.ConjectureChecker.instance = new ConjectureChecker()
staticprivate

Property Documentation

◆ Instance

ConjectureChecker VizualizerWPF.ConjectureChecker.Instance
staticget

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