#include <HNNProblems.h>
Inheritance diagram for HNNofFreeGroup_WordProblem::
Public Methods | |
HNNofFreeGroup_WordProblem (const SMWord &x) | |
void | takeControl () |
Private Attributes | |
const SMWord& | word |
|
Definition at line 114 of file HNNProblems.h. |
|
Reimplemented from ComputationManager. |
|
Definition at line 120 of file HNNProblems.h. |