liquid-fixpoint-0.9.2.5: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Fixpoint.Solver.Simplify

Description

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

Synopsis

applyBooleanFolding :: Brel -> Expr -> Expr -> Expr
applyConstantFolding :: Bop -> Expr -> Expr -> Expr
applySetFolding :: Expr -> Expr -> Expr
isSetPred :: Expr -> Bool

Documentation

applyBooleanFolding :: Brel -> Expr -> Expr -> Expr Source #

applyConstantFolding :: Bop -> Expr -> Expr -> Expr Source #

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

applySetFolding :: Expr -> Expr -> Expr Source #

isSetPred :: Expr -> Bool Source #