diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-19 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-19 08:01:00 -0700 |
| commit | 0e4de190ff4e25f5904a571b79a225363d5fc369 (patch) | |
| tree | a89075fbb01848568534265967c59289c77713a0 /src/sop/ft/ftFactor.c | |
| parent | dffcc93b8e8779f443762c71098796b01ea7d409 (diff) | |
| download | abc-0e4de190ff4e25f5904a571b79a225363d5fc369.tar.gz abc-0e4de190ff4e25f5904a571b79a225363d5fc369.tar.bz2 abc-0e4de190ff4e25f5904a571b79a225363d5fc369.zip | |
Version abc50819
Diffstat (limited to 'src/sop/ft/ftFactor.c')
| -rw-r--r-- | src/sop/ft/ftFactor.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/sop/ft/ftFactor.c b/src/sop/ft/ftFactor.c index 04779fe0..43f9e3ce 100644 --- a/src/sop/ft/ftFactor.c +++ b/src/sop/ft/ftFactor.c @@ -39,7 +39,6 @@ static Ft_Node_t * Ft_FactorTrivialCubeCascade( Vec_Int_t * vForm, Mvc_Cov static Ft_Node_t * Ft_FactorNodeCreate( Vec_Int_t * vForm, int Type, Ft_Node_t * pNode1, Ft_Node_t * pNode2 ); static Ft_Node_t * Ft_FactorLeafCreate( Vec_Int_t * vForm, int iLit ); static void Ft_FactorFinalize( Vec_Int_t * vForm, Ft_Node_t * pNode, int nVars ); -static void Ft_FactorComplement( Vec_Int_t * vForm ); static Vec_Int_t * Ft_FactorConst( int fConst1 ); // temporary procedures that work with the covers @@ -585,8 +584,6 @@ int Ft_FactorGetNumNodes( Vec_Int_t * vForm ) void Ft_FactorComplement( Vec_Int_t * vForm ) { Ft_Node_t * pNode; - int nVars = Ft_FactorGetNumVars( vForm ); - assert( nVars >= 0 ); pNode = Ft_NodeReadLast(vForm); pNode->fCompl ^= 1; } |