flocc-pffb

Stabilityexperimental
Maintainerdeveloper@flocc.net
Safe HaskellNone

Compiler.Planner.SolExec

Description

For more information please see http://www.flocc.net/

Synopsis

Documentation

loadContext :: String -> IdxMonad IO SolCtx

loadContext dirPath. Loads types, rules, flocc program, |flocc library, header cpp and footer cpp code from directory |at dirPath.

completeSolutions :: String -> SolCtx -> SolId -> IdxMonad IO (Maybe String)

completeSolution. Insert casts to make a target AST.

generateSolution :: String -> SolCtx -> SolId -> IdxMonad IO (Maybe String)

generateSolution. Generate C++ from target AST.

compileCode :: [String] -> String -> String -> IO (Maybe (Int, String))

compileMpiCpp flags srcFileName exFileName.

compileSolution :: String -> SolCtx -> SolId -> IO (Maybe String)

compileSolution. Compile generated C++.

whileM :: Monad m => (a -> m Bool) -> a -> (a -> m a) -> m a

execSolution :: String -> SolCtx -> SolId -> IO [SolCost]

execSolution. Time execution of solution (generate if not already).