| Copyright | (c) Galois Inc 2016-2020 |
|---|---|
| License | BSD3 |
| Maintainer | Joe Hendrix <jhendrix@galois.com> |
| Safe Haskell | None |
| Language | Haskell2010 |
What4.Expr.Simplify
Description
This module provides a minimalistic interface for manipulating Boolean formulas and execution contexts in the symbolic simulator.
Synopsis
- simplify :: ExprBuilder t st fs -> BoolExpr t -> IO (BoolExpr t)
- count_subterms :: Expr t tp -> Map Word64 Int