projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bb47a9) | patch
Move enum value generator to own file (#6941)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Jul 2021 14:51:02 +0000 (09:51 -0500)
committerGitHub <noreply@github.com>
Tue, 27 Jul 2021 14:51:02 +0000 (14:51 +0000)
commit4239b8bf84fcea902802812508668c866f700dda
treef81a055962c1114ddd4e159cc64621672569f66btree
parent2bb47a96e61babeedfd717104a9ec80b559017a9commit | diff
Move enum value generator to own file (#6941)

Work towards integrating the enumerator callback into the fast enumerator.
src/CMakeLists.txt diff | blob | history
src/theory/quantifiers/sygus/enum_stream_substitution.cpp diff | blob | history
src/theory/quantifiers/sygus/enum_stream_substitution.h diff | blob | history
src/theory/quantifiers/sygus/enum_val_generator.h [new file with mode: 0644] blob
src/theory/quantifiers/sygus/sygus_enumerator.h diff | blob | history
src/theory/quantifiers/sygus/sygus_enumerator_basic.h diff | blob | history
src/theory/quantifiers/sygus/synth_conjecture.h diff | blob | history