diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-10-20 14:23:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-20 14:23:30 -0500 |
| commit | 417299119500eac6a910fcb6b2109f4c129b355c (patch) | |
| tree | 9f2237f45fd8353e6cc367acabc6b386f85c797f /src/smt/process_assertions.h | |
| parent | a0ccf529025b86d368dac6b8c4f6b78a97857f4b (diff) | |
Remove some Commands from the API. (#5268)
This PR removes Solver::getAssignment command from the API as there is no way to assign names to terms in the API. It also removes ExpandDefinitionsCommand, an internal functionality in CVC4.
Diffstat (limited to 'src/smt/process_assertions.h')
0 files changed, 0 insertions, 0 deletions