diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-29 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-29 08:01:00 -0700 |
| commit | 2b98b81837011f26d130ad0f44d4bc7b298f9cd7 (patch) | |
| tree | 3f3eb36585157596614b1f0bf8b34ee5d1b533b2 /src/aig/kit/kit.h | |
| parent | e2e9aed11dd841801dae3cdf47db06946e7ffb28 (diff) | |
| download | abc-2b98b81837011f26d130ad0f44d4bc7b298f9cd7.tar.gz abc-2b98b81837011f26d130ad0f44d4bc7b298f9cd7.tar.bz2 abc-2b98b81837011f26d130ad0f44d4bc7b298f9cd7.zip | |
Version abc80429
Diffstat (limited to 'src/aig/kit/kit.h')
| -rw-r--r-- | src/aig/kit/kit.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/kit/kit.h b/src/aig/kit/kit.h index 7607d17c..a0fca09d 100644 --- a/src/aig/kit/kit.h +++ b/src/aig/kit/kit.h @@ -547,6 +547,9 @@ extern int Kit_GraphLeafDepth_rec( Kit_Graph_t * pGraph, Kit_Node_t extern int Kit_TruthIsop( unsigned * puTruth, int nVars, Vec_Int_t * vMemory, int fTryBoth ); /*=== kitPla.c ==========================================================*/ extern int Kit_PlaIsConst0( char * pSop ); +extern int Kit_PlaIsConst1( char * pSop ); +extern int Kit_PlaIsBuf( char * pSop ); +extern int Kit_PlaIsInv( char * pSop ); extern int Kit_PlaGetVarNum( char * pSop ); extern int Kit_PlaGetCubeNum( char * pSop ); extern int Kit_PlaIsComplement( char * pSop ); |