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 #

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result