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.

Definition at line 79 of file AdvDehnAlgorithm.h.

Referenced by getFSA().

Definition at line 74 of file AdvDehnAlgorithm.h.

Definition at line 75 of file AdvDehnAlgorithm.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:45 2011 for CRyptography And Groups (CRAG) by  doxygen 1.6.1