projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 257269e) | patch
Add the sequence datatype (#4153)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 23 May 2020 12:13:42 +0000 (07:13 -0500)
committerGitHub <noreply@github.com>
Sat, 23 May 2020 12:13:42 +0000 (07:13 -0500)
commit7e81d459952dc80811df83d0ac86fb7342b58000
tree204dbb0f38336b54df852ef5e2442dc8fdc9219ctree
parent257269ea94674bf40fe87325e3677532186a3de2commit | diff
Add the sequence datatype (#4153)

This class is the Node-level representation of a sequence. It is analogous to CVC4::String.
src/expr/CMakeLists.txt diff | blob | history
src/expr/sequence.cpp [new file with mode: 0644] blob
src/expr/sequence.h [new file with mode: 0644] blob