diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-02-03 10:23:28 -0600 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-02-03 10:23:39 -0600 |
| commit | 7b50c3f698cd2abdc4f3c2d57e63996419423938 (patch) | |
| tree | afc11a370f9386c70550b20aea7d8c64cf6c4d4c /src/theory/quantifiers/modes.h | |
| parent | 2fda1f59b3f5c5d0d6d9b36ae206b8984fb6064c (diff) | |
Handle nested (universal) quantifiers in QCF algorithm. Make relevant domain instantiation breadth-first.
Diffstat (limited to 'src/theory/quantifiers/modes.h')
0 files changed, 0 insertions, 0 deletions