cflp-2009.1.24: Constraint Functional-Logic Programming in Haskell

CFLP.Strategies

Documentation

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

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

module CFLP.Strategies.DepthFirst

module CFLP.Strategies.CallTimeChoice

module CFLP.Strategies.DepthCounter

module CFLP.Strategies.DepthLimit