QuadEquationTranformationGraph Class Reference

#include <QuadEquatTransformationGraph.h>

List of all members.

Public Member Functions

 QuadEquationTranformationGraph (const Equation &eq)
void extend ()
const IntLabeledGraphgetGraph () const
 Get the current graph.
bool isDone () const
 Determine if the graph is completely constructed.
bool solutionFound () const
 Determine if the equation has solutions.

Private Member Functions

set< WordgetNeighbours (const Word &eq)
 Function returns all neighbours of the vertex in the graph.
Word applyAdjointTransformation (const Word &eq, int x, const Word &im)
 Function is used in getNeighbours( ).
bool isTrivialSolution (const Word &e) const
 Check if an equation e has trivial solution.

Private Attributes

const Equation theEquation
 Equation under consideration.
IntLabeledGraph theGraph
 The transformation graph.
map< Word, int > processedEquations
 Already processed equations and their numbers in the graph.
map< Word, int > equationsInProcess
 New equations and their numbers in the graph.
bool hasSolution
 Flag. True if the equation with the trivial solution is found.

Detailed Description

Definition at line 22 of file QuadEquatTransformationGraph.h.


Constructor & Destructor Documentation

QuadEquationTranformationGraph::QuadEquationTranformationGraph ( const Equation eq  ) 

Member Function Documentation

Word QuadEquationTranformationGraph::applyAdjointTransformation ( const Word eq,
int  x,
const Word im 
) [private]

Function is used in getNeighbours( ).

void QuadEquationTranformationGraph::extend (  ) 
const IntLabeledGraph& QuadEquationTranformationGraph::getGraph (  )  const

Get the current graph.

set< Word > QuadEquationTranformationGraph::getNeighbours ( const Word eq  )  [private]

Function returns all neighbours of the vertex in the graph.

bool QuadEquationTranformationGraph::isDone (  )  const

Determine if the graph is completely constructed.

bool QuadEquationTranformationGraph::isTrivialSolution ( const Word e  )  const [private]

Check if an equation e has trivial solution.

bool QuadEquationTranformationGraph::solutionFound (  )  const

Determine if the equation has solutions.


Member Data Documentation

New equations and their numbers in the graph.

Definition at line 112 of file QuadEquatTransformationGraph.h.

Flag. True if the equation with the trivial solution is found.

Definition at line 116 of file QuadEquatTransformationGraph.h.

Already processed equations and their numbers in the graph.

Definition at line 108 of file QuadEquatTransformationGraph.h.

Equation under consideration.

Definition at line 95 of file QuadEquatTransformationGraph.h.

The transformation graph.

A graph with edges labelled by integers. Labels of edges are all ones at the moment. In the future they will encode corresponding transformations.

Definition at line 104 of file QuadEquatTransformationGraph.h.


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Generated on Mon Sep 26 18:43:50 2011 for CRyptography And Groups (CRAG) by  doxygen 1.6.1