cflp-2009.1.23: Constraint Functional-Logic Programming in Haskell

CFLP.Strategies.DepthFirst

Documentation

dfsWithEvalTimeChoice :: c -> Monadic (UpdateT c []) aSource