Module BindingOpt

Implementation of a transformation to replace Boolean equalities by equational constraints (which binds variables).

Author: Michael Hanus

Version: October 2016

Summary of exported operations:

main :: IO ()   
transformFlatProg :: (Int,Bool,Bool) -> String -> Prog -> IO (Prog,Bool)   

Exported operations:

main :: IO ()   

transformFlatProg :: (Int,Bool,Bool) -> String -> Prog -> IO (Prog,Bool)