diff options
| -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] |