diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-11-26 18:11:35 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-11-26 19:33:53 -0600 |
| commit | 34e2436636d7a43dd6b9ec5439884f0d8960f06b (patch) | |
| tree | 0e4e65cd9ef96f71145b70f654e9655b7c56e0bb /src/theory/strings/regexp_operation.h | |
| parent | 29bdfca306a7cd35801c7d9cb3023d78a8b82a1f (diff) | |
add more functions for regular expressions
Diffstat (limited to 'src/theory/strings/regexp_operation.h')
| -rw-r--r-- | src/theory/strings/regexp_operation.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/strings/regexp_operation.h b/src/theory/strings/regexp_operation.h index ce3093528..6a31a23fb 100644 --- a/src/theory/strings/regexp_operation.h +++ b/src/theory/strings/regexp_operation.h @@ -96,6 +96,8 @@ public: Node intersect(Node r1, Node r2, bool &spflag); Node complement(Node r, int &ret); void splitRegExp(Node r, std::vector< PairNodes > &pset); + void flattenRegExp(Node r, std::vector< std::pair< CVC4::String, unsigned > > &fvec); + void disjunctRegExp(Node r, std::vector<Node> &vec_or); std::string mkString( Node r ); }; |