diff options
Diffstat (limited to 'src/sop/ft/ft.h')
| -rw-r--r-- | src/sop/ft/ft.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sop/ft/ft.h b/src/sop/ft/ft.h index c4eab09f..cea7d935 100644 --- a/src/sop/ft/ft.h +++ b/src/sop/ft/ft.h @@ -94,6 +94,7 @@ extern void Ft_FactorStopMan(); extern Vec_Int_t * Ft_Factor( char * pSop ); extern int Ft_FactorGetNumNodes( Vec_Int_t * vForm ); extern int Ft_FactorGetNumVars( Vec_Int_t * vForm ); +extern void Ft_FactorComplement( Vec_Int_t * vForm ); /*=== ftPrint.c =====================================================*/ extern void Ft_FactorPrint( FILE * pFile, Vec_Int_t * vForm, char * pNamesIn[], char * pNameOut ); |