diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-02-04 22:19:12 +0000 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-02-04 22:19:12 +0000 |
| commit | 62f79f8e73d3182485c38204784abc450e899b31 (patch) | |
| tree | bc18b3239c628ae399e9c61417d536607b63e9e9 /src/printer | |
| parent | 57f2a8e9215daf83616bb05b3b134e5544f7d808 (diff) | |
support for isWellFounded/mkGroundTerm on uninterpretted sorts. cvc4 now assumes uninterpretted sorts are well-founded, allowing datatypes to work with uninterpretted sort subdata
Diffstat (limited to 'src/printer')
0 files changed, 0 insertions, 0 deletions