#include <FRDFIT.h>
Public Member Functions | |
FRDFIT (int n) | |
Word | compute (const Word &, int &numOfHandles) |
Private Member Functions | |
void | pp (const DDL &L, DDLNode *p1, DDLNode *p2) |
Private Attributes | |
int | theGroupGens |
Definition at line 26 of file FRDFIT.h.
int FRDFIT::theGroupGens [private] |