diff options
| author | makaimann <makaim@stanford.edu> | 2020-09-22 11:58:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-22 11:58:03 -0700 |
| commit | 2e2424a1a8ce19a3c4e357cf491ca027a5d1b4cc (patch) | |
| tree | 10b686d148298b0cdecd2695909c79fca16fc0ca /src/theory/theory_id.h | |
| parent | e3cd4670a080554e4ae1f2f26ee4353d11f02f6b (diff) | |
Add method to get Python object from constant value term in Python API (#5083)
This PR addresses issue https://github.com/CVC4/CVC4/issues/5014. It simply interprets the SMT-LIB string representation and produces a Python object. It currently supports booleans, ints, reals, bit-vectors, and arrays. The method (`toPythonObj`) is only valid to call if `isConst` returns true.
Diffstat (limited to 'src/theory/theory_id.h')
0 files changed, 0 insertions, 0 deletions