#include <fastProblems.h>
Inheritance diagram for ORWithTorsionEltFiniteOrder::
Public Methods | |
ORWithTorsionEltFiniteOrder (class SMWord &w) | |
void | takeControl () |
Private Attributes | |
class SMWord& | theWord |
|
Definition at line 1157 of file fastProblems.h. |
|
Reimplemented from ComputationManager. |
|
Definition at line 1163 of file fastProblems.h. |