Language.Fixpoint.Solver.Simplify

This module contains common functions used in the implementations of Simplifiable Expr in both Interpreter.hs and PLE.hs.

Documentation

applyBooleanFolding :: Brel -> Expr -> Expr -> Expr

applyConstantFolding :: Bop -> Expr -> Expr -> Expr

Replace constant integer and floating point expressions by constant values where possible.

applySetFolding :: Expr -> Expr -> Expr

isSetPred :: Expr -> Bool