diff options
| author | Kevin Laeufer | 2022-08-03 12:05:36 -0400 |
|---|---|---|
| committer | GitHub | 2022-08-03 12:05:36 -0400 |
| commit | ad0dd6a2808789d0eda3665d5f565f0988db2c77 (patch) | |
| tree | 326a2ad518ab9d95ec7e91802f239afc2af60307 | |
| parent | c7403e80f965aa3c6f65b176dbb56dbb905cbb31 (diff) | |
smt: make SMTExprMap object public (#2534)
The simple functionality is needed in chiseltest.
| -rw-r--r-- | src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala index c991941f..8e035186 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/SMTExprMap.scala @@ -2,7 +2,9 @@ // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> package firrtl.backends.experimental.smt -private object SMTExprMap { +object SMTExprMap { + + /** maps f over subexpressions of expr and returns expr with the results replaced */ def mapExpr(expr: SMTExpr, f: SMTExpr => SMTExpr): SMTExpr = { val bv = (b: BVExpr) => f(b).asInstanceOf[BVExpr] val ar = (a: ArrayExpr) => f(a).asInstanceOf[ArrayExpr] |