projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07a4726) | patch
Generalize string enumerator for fixed length sequences (#7234)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 23 Sep 2021 23:50:16 +0000 (18:50 -0500)
committerGitHub <noreply@github.com>
Thu, 23 Sep 2021 23:50:16 +0000 (23:50 +0000)
commit421803a044faf8f17ebf6d44f94adbdfdbded4a6
tree6d622ae107c5aacf83d383c04fc3402fbfe97f6etree
parent07a47262c405fb37248572d3029883d078273cd7commit | diff
Generalize string enumerator for fixed length sequences (#7234)

This adds a utility to get enumerators for fixed length constants of a given sequence type.

This will be used to construct fixed length gaps in array models.
src/theory/strings/type_enumerator.cpp diff | blob | history
src/theory/strings/type_enumerator.h diff | blob | history