Documentation
limDFS :: c -> CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx c))) [])))) aSource
module CFLP.Strategies.DepthFirst
module CFLP.Strategies.DepthCounter
module CFLP.Strategies.DepthLimit
limDFS :: c -> CTC (Depth (DepthLim (Monadic (UpdateT (StoreCTC (DepthCtx (DepthLimCtx c))) [])))) aSource
module CFLP.Strategies.DepthFirst
module CFLP.Strategies.DepthCounter
module CFLP.Strategies.DepthLimit