diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 10:25:34 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 10:25:34 +0700 |
| commit | 557448400ebaf0f4666665bd8bc87954e3c2a976 (patch) | |
| tree | 334a36292cd550b9542fc1c416fc6b8d42e8e457 /src/python/pyabc_split.py | |
| parent | fde8c8b2d09d218d42d46976f9bfd426d72e075e (diff) | |
| download | abc-557448400ebaf0f4666665bd8bc87954e3c2a976.tar.gz abc-557448400ebaf0f4666665bd8bc87954e3c2a976.tar.bz2 abc-557448400ebaf0f4666665bd8bc87954e3c2a976.zip | |
Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current network is an AIG and the given PO has const 0/1 function.
Diffstat (limited to 'src/python/pyabc_split.py')
0 files changed, 0 insertions, 0 deletions