AdvDehnAlgorithm Class Reference

#include <AdvDehnAlgorithm.h>

List of all members.

Public Member Functions

 AdvDehnAlgorithm (const FPGroup &G, const Word &w)
 AdvDehnAlgorithm (const FPGroup &G, const set< Word > &gens, const Word &w)
const IntLabeledGraphgetFSA () const
bool builtup (set< Word > *conj=0, int coset_limit=100000)
bool isLoop (const Word &w) const

Private Member Functions

void addCycle (const Word &w, int origin)

Private Attributes

const FPGroup theGroup
const Word theWord
set< int > checkedStates
IntLabeledGraph theFSA


Detailed Description

Requires a revision. set< int > checkedStates; must be replaced with int lastCheckedVertex;

Definition at line 24 of file AdvDehnAlgorithm.h.


Constructor & Destructor Documentation

AdvDehnAlgorithm::AdvDehnAlgorithm const FPGroup G,
const Word w
 

AdvDehnAlgorithm::AdvDehnAlgorithm const FPGroup G,
const set< Word > &  gens,
const Word w
 


Member Function Documentation

void AdvDehnAlgorithm::addCycle const Word w,
int  origin
[private]
 

bool AdvDehnAlgorithm::builtup set< Word > *  conj = 0,
int  coset_limit = 100000
 

const IntLabeledGraph& AdvDehnAlgorithm::getFSA  )  const [inline]
 

Definition at line 47 of file AdvDehnAlgorithm.h.

References theFSA.

bool AdvDehnAlgorithm::isLoop const Word w  )  const
 


Member Data Documentation

set< int > AdvDehnAlgorithm::checkedStates [private]
 

Definition at line 77 of file AdvDehnAlgorithm.h.

IntLabeledGraph AdvDehnAlgorithm::theFSA [private]
 

Definition at line 79 of file AdvDehnAlgorithm.h.

Referenced by getFSA().

const FPGroup AdvDehnAlgorithm::theGroup [private]
 

Definition at line 74 of file AdvDehnAlgorithm.h.

const Word AdvDehnAlgorithm::theWord [private]
 

Definition at line 75 of file AdvDehnAlgorithm.h.


The documentation for this class was generated from the following file:
Generated on Mon Feb 27 22:47:07 2006 for CRyptography And Groups (CRAG) by  doxygen 1.4.4