cflp-2009.1.26: Constraint Functional-Logic Programming in Haskell

CFLP.Strategies

Documentation

dfs :: [CTC (Monadic (UpdateT (StoreCTC ()) Logic)) (StoreCTC ())]Source

limDFS :: Int -> [CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx ()))) Logic)))) (StoreCTC (DepthCtx (DepthLimCtx ())))]Source

iterDFS :: [CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx ()))) Logic)))) (StoreCTC (DepthCtx (DepthLimCtx ())))]Source

diag :: [CTC (Monadic (UpdateT (StoreCTC ()) Omega)) (StoreCTC ())]Source

rndDFS :: [CTC (Rnd (Monadic (UpdateT (StoreCTC (RndCtx ())) Logic))) (StoreCTC (RndCtx ()))]Source