projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f59801) | patch
Making CVC4::theory::quantifiers::PrenexQuantMode public for now.
authorTim King <tim.king@imag.fr>
Mon, 13 Apr 2015 10:23:49 +0000 (12:23 +0200)
committerTim King <tim.king@imag.fr>
Mon, 13 Apr 2015 10:23:49 +0000 (12:23 +0200)
commit54553d7e30a3db13c36a782a3350abf8ea29ad99
treea34ae9093c3a3e92200ccdcd06d16e251f70da71tree
parent3f59801357808a538934b04ce7bf0894dec1b0ddcommit | diff
Making CVC4::theory::quantifiers::PrenexQuantMode public for now.
src/theory/quantifiers/modes.h diff | blob | history