summaryrefslogtreecommitdiffstats
path: root/src/proof/cec/cec.h
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-07-11 16:49:06 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2015-07-11 16:49:06 -0700
commitb949436f4c99157397e16b23c3693fb5a99bd557 (patch)
tree7b15b5005db8a12b8afbf757d7abbe648eb84f66 /src/proof/cec/cec.h
parent05ca4afb770ffffca62e913f4e2fd4fd56085281 (diff)
downloadabc-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.h1
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 ==========================================================*/