cflp-2009.1.23.2: Constraint Functional-Logic Programming in Haskell

CFLP.Strategies

Documentation

(<+) :: (b -> c) -> (a -> b) -> d -> cSource

dfs :: c -> CTC (Monadic (UpdateT (StoreCTC c) [])) aSource

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

module CFLP.Strategies.DepthFirst

module CFLP.Strategies.CallTimeChoice

module CFLP.Strategies.DepthCounter

module CFLP.Strategies.DepthLimit