diff options
Diffstat (limited to 'src/base/exor/exor.h')
| -rw-r--r-- | src/base/exor/exor.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/exor/exor.h b/src/base/exor/exor.h index afd9cc08..5a727557 100644 --- a/src/base/exor/exor.h +++ b/src/base/exor/exor.h @@ -168,6 +168,12 @@ extern int FindDiffVars( int *pDiffVars, Cube* pC1, Cube* pC2 ); // determines the variables that are different in cubes pC1 and pC2 // returns the number of variables +extern int ComputeQCost( Vec_Int_t * vCube ); +extern int ComputeQCostBits( Cube * p ); + +extern int CountLiterals(); +extern int CountQCost(); + //////////////////////////////////////////////////////////////////////// /// VARVALUE and CUBEDIST enum typedefs /// //////////////////////////////////////////////////////////////////////// |