 | cflp-2009.1.28: Constraint Functional-Logic Programming in Haskell | Source code | Contents | Index |
| CFLP.Strategies |
| 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 |
| bfs :: [CTC (Monadic (UpdateT (StoreCTC ()) Levels)) (StoreCTC ())] | Source |
| diag :: [CTC (Monadic (UpdateT (StoreCTC ()) Omega)) (StoreCTC ())] | Source |
| fair :: [CTC (Monadic (UpdateT (StoreCTC ()) Stream)) (StoreCTC ())] | Source |
| rndDFS :: [CTC (Rnd (Monadic (UpdateT (StoreCTC (RndCtx ())) Logic))) (StoreCTC (RndCtx ()))] | Source |