diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-14 14:12:18 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-14 14:12:18 -0500 |
commit | 14d32d598e9daa97cf1a29ff893caac2989baec4 (patch) | |
tree | f37a48a15db69e6423a3149c1a2e91687b870542 /src/decision | |
parent | 455fed0b388ff9c534391eb88f8c2a336fa42f07 (diff) |
Remove sygus print callback (#4727)
This removes sygus print callbacks, since they are no longer necessary to support the sygus v1 parser.
This involved generalizing the scope of the datatype utility sygusToBuiltin. Now, printing "as sygus" simply is accomplished by doing sygusToBuiltin conversion and then calling the printer on the builtin term.
This is required for further work towards eliminating the Expr layer.
FYI @4tXJ7f
Diffstat (limited to 'src/decision')
0 files changed, 0 insertions, 0 deletions