diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2012-02-11 15:01:55 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2012-02-11 15:01:55 -0800 |
| commit | 33261c33cbc4edf57445d67c7b3dda285e2a86e9 (patch) | |
| tree | efa9b648792a73ce25caaa9c1b1d6fbf9d342830 /src/python/pyabc.i | |
| parent | c395afe2255a163e298d46c969a56b310556b306 (diff) | |
| download | abc-33261c33cbc4edf57445d67c7b3dda285e2a86e9.tar.gz abc-33261c33cbc4edf57445d67c7b3dda285e2a86e9.tar.bz2 abc-33261c33cbc4edf57445d67c7b3dda285e2a86e9.zip | |
pyabc: replace 'bool' with 'int' as it was removed from the rest of ABC
Diffstat (limited to 'src/python/pyabc.i')
| -rw-r--r-- | src/python/pyabc.i | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/python/pyabc.i b/src/python/pyabc.i index 2b8983cd..a4c8c347 100644 --- a/src/python/pyabc.i +++ b/src/python/pyabc.i @@ -89,7 +89,7 @@ int n_latches() return -1; } -bool has_comb_model() +int has_comb_model() { Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); @@ -97,7 +97,7 @@ bool has_comb_model() return pNtk && pNtk->pModel; } -bool has_seq_model() +int has_seq_model() { Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); @@ -117,7 +117,7 @@ int prob_status() return Abc_FrameReadProbStatus(pAbc); } -bool is_valid_cex() +int is_valid_cex() { Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); @@ -125,7 +125,7 @@ bool is_valid_cex() return pNtk && Abc_FrameReadCex(pAbc) && Abc_NtkIsValidCex( pNtk, Abc_FrameReadCex(pAbc) ); } -bool is_true_cex() +int is_true_cex() { Abc_Frame_t* pAbc = Abc_FrameGetGlobalFrame(); Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); @@ -546,14 +546,14 @@ int n_latches(); int run_command(char* cmd); -bool has_comb_model(); -bool has_seq_model(); +int has_comb_model(); +int has_seq_model(); int n_bmc_frames(); int prob_status(); -bool is_valid_cex(); -bool is_true_cex(); +int is_valid_cex(); +int is_true_cex(); int n_cex_pis(); int n_cex_regs(); int cex_po(); |