diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-10 12:43:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-10 12:43:01 -0700 |
| commit | 8eebe633d3b08a227f2143b6b48a02ab35e3bab2 (patch) | |
| tree | fb2d718c20de0962bea18e02e8478993ee4cc7a6 /src/base/acb/acb.h | |
| parent | 747c6a6da5ead32aaa42341dfd347d90b05ded6e (diff) | |
| download | abc-8eebe633d3b08a227f2143b6b48a02ab35e3bab2.tar.gz abc-8eebe633d3b08a227f2143b6b48a02ab35e3bab2.tar.bz2 abc-8eebe633d3b08a227f2143b6b48a02ab35e3bab2.zip | |
Various changes.
Diffstat (limited to 'src/base/acb/acb.h')
| -rw-r--r-- | src/base/acb/acb.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/acb/acb.h b/src/base/acb/acb.h index 36300efd..9aed414c 100644 --- a/src/base/acb/acb.h +++ b/src/base/acb/acb.h @@ -1028,6 +1028,8 @@ extern void Acb_NtkPrintNode( Acb_Ntk_t * p, int iObj ); extern int Acb_NtkCreateNode( Acb_Ntk_t * p, word uTruth, Vec_Int_t * vSupp ); extern void Acb_NtkUpdateNode( Acb_Ntk_t * p, int Pivot, word uTruth, Vec_Int_t * vSupp ); +extern Acb_Ntk_t * Acb_VerilogSimpleRead( char * pFileName, char * pFileNameW ); + ABC_NAMESPACE_HEADER_END |