From 25d2ed390bf5ad825fadbc4ed21676100b01de68 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sat, 22 Feb 2020 10:07:44 -0600
Subject:  Move check memberships to reg exp solver (#3793)

There was previously a function in TheoryStrings to make the proper call to checkMembership. In the refactored code, this is no longer necessary and the interface to RegExp can be simplified.
---
 src/theory/strings/extf_solver.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/theory/strings/extf_solver.cpp')

diff --git a/src/theory/strings/extf_solver.cpp b/src/theory/strings/extf_solver.cpp
index e22528490..6ab74cf9a 100644
--- a/src/theory/strings/extf_solver.cpp
+++ b/src/theory/strings/extf_solver.cpp
@@ -668,6 +668,11 @@ const std::map<Node, ExtfInfoTmp>& ExtfSolver::getInfo() const
 }
 bool ExtfSolver::hasExtendedFunctions() const { return d_hasExtf.get(); }
 
+std::vector<Node> ExtfSolver::getActive(Kind k) const
+{
+  return d_extt->getActive(k);
+}
+
 }  // namespace strings
 }  // namespace theory
 }  // namespace CVC4
-- 
cgit v1.2.3