diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 23:35:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 23:35:51 -0700 |
| commit | f6fb5600b19396c43a055d2d893dab97b88a41d9 (patch) | |
| tree | ace1ddc59bb671fff405a7b61b5ba128ee1a25f7 /src/python | |
| parent | 05c8df33f2d27f59ec77c73d21aad6dc81f5836f (diff) | |
| download | abc-f6fb5600b19396c43a055d2d893dab97b88a41d9.tar.gz abc-f6fb5600b19396c43a055d2d893dab97b88a41d9.tar.bz2 abc-f6fb5600b19396c43a055d2d893dab97b88a41d9.zip | |
Moves the code of create_abc_array to line 724.
Diffstat (limited to 'src/python')
| -rw-r--r-- | src/python/pyabc.i | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/python/pyabc.i b/src/python/pyabc.i index e071a74a..23a37eec 100644 --- a/src/python/pyabc.i +++ b/src/python/pyabc.i @@ -721,6 +721,13 @@ def cex_put(cex): assert cex.pCex is not None return _cex_put(cex.pCex) + + +def create_abc_array(List): + _pyabc_array_clear() + for ObjId in List: + _pyabc_array_push(ObjId) + import threading import select @@ -1185,9 +1192,5 @@ def cmd_python(cmd_args): add_abc_command(cmd_python, "Python", "python", 0) -def create_abc_array(List): - _pyabc_array_clear() - for ObjId in List: - _pyabc_array_push(ObjId) %} |