diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-11 16:49:06 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-11 16:49:06 -0700 |
commit | b949436f4c99157397e16b23c3693fb5a99bd557 (patch) | |
tree | 7b15b5005db8a12b8afbf757d7abbe648eb84f66 /src/proof/cec/cec.h | |
parent | 05ca4afb770ffffca62e913f4e2fd4fd56085281 (diff) | |
download | abc-b949436f4c99157397e16b23c3693fb5a99bd557.tar.gz abc-b949436f4c99157397e16b23c3693fb5a99bd557.tar.bz2 abc-b949436f4c99157397e16b23c3693fb5a99bd557.zip |
Adding new Python API 'is_func_iso'.
Diffstat (limited to 'src/proof/cec/cec.h')
-rw-r--r-- | src/proof/cec/cec.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/cec/cec.h b/src/proof/cec/cec.h index 805a5d73..a0b92b52 100644 --- a/src/proof/cec/cec.h +++ b/src/proof/cec/cec.h @@ -197,6 +197,7 @@ struct Cec_ParSeq_t_ /*=== cecCec.c ==========================================================*/ extern int Cec_ManVerify( Gia_Man_t * p, Cec_ParCec_t * pPars ); extern int Cec_ManVerifyTwo( Gia_Man_t * p0, Gia_Man_t * p1, int fVerbose ); +extern int Cec_ManVerifySimple( Gia_Man_t * p ); /*=== cecChoice.c ==========================================================*/ extern Gia_Man_t * Cec_ManChoiceComputation( Gia_Man_t * pAig, Cec_ParChc_t * pPars ); /*=== cecCorr.c ==========================================================*/ |