diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-29 16:06:50 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-08-29 16:06:50 +0200 |
commit | e9fb730333b2719cddaa0a9209aa7953d7f30b0b (patch) | |
tree | da178be240ac8121635bed7cdfde8c58449e65a5 /src/util/emptyset.h | |
parent | 4397bf2a96fabe124ebd18e9ae9957689852afb3 (diff) |
Set instantiation level on skolemized bodies of quantifiers. Rename inst-level attribute to quant-inst-max-level
Diffstat (limited to 'src/util/emptyset.h')
0 files changed, 0 insertions, 0 deletions