cflp-2009.2.1: Constraint Functional-Logic Programming in Haskell Contents Index

Search:

! CFLP .&&. CFLP.Constraints.Boolean .||. CFLP.Constraints.Boolean :! CFLP === CFLP.Types.Bool ? CFLP after CFLP.Tests.HigherOrder apply CFLP applyBinCons CFLP.Tests.HigherOrder applyChoice CFLP.Tests.HigherOrder ApplyCons CFLP applyCons CFLP applyNotFunction CFLP.Tests.HigherOrder assertBoolean CFLP.Constraints.Boolean assertResults CFLP.Tests assertResultsLimit CFLP.Tests assertResultsN CFLP.Tests assertVariable CFLP.Tests.Boolean bfs CFLP.Strategies bfs_B CFLP.Strategies Boolean CFLP.Constraints.Boolean BooleanSolver CFLP.Constraints.Boolean booleanToBool CFLP.Constraints.Boolean callTimeChoice 1 (Function) CFLP.Strategies.CallTimeChoice 2 (Function) CFLP.Tests.HigherOrder caseOf CFLP caseOf_ CFLP CFLP CFLP Computation CFLP.Strategies cons CFLP ConsPatList CFLP constr CFLP constructors CFLP Context 1 (Type/Class) CFLP 2 (Data Constructor) CFLP countDepth CFLP.Strategies.DepthCounter CTC CFLP.Strategies.CallTimeChoice Ctx CFLP currentDepth CFLP.Strategies.DepthCounter Data CFLP dCons CFLP.Types.List Decons CFLP Depth CFLP.Strategies.DepthCounter DepthCounter CFLP.Strategies.DepthCounter DepthCtx CFLP.Strategies.DepthCounter DepthLim CFLP.Strategies.DepthLimit DepthLimCtx CFLP.Strategies.DepthLimit depthLimit CFLP.Strategies.DepthLimit DepthLimiter CFLP.Strategies.DepthLimit dfs CFLP.Strategies dfs_B CFLP.Strategies diag CFLP.Strategies diag_B CFLP.Strategies dNil CFLP.Types.List Enumerable CFLP enumeration CFLP eval CFLP evalPartial CFLP evalPrint CFLP failure CFLP fair CFLP.Strategies fair_B CFLP.Strategies false CFLP.Types.Bool flip CFLP.Tests.HigherOrder foldr CFLP.Types.List fun CFLP functionConversion CFLP.Tests.HigherOrder Generic CFLP generic CFLP genericOps CFLP getRandomGen CFLP.Strategies.Random groundNormalForm CFLP head CFLP.Types.List ID CFLP id CFLP.Tests.HigherOrder ifThen CFLP.Constraints.Boolean ifThenElse CFLP.Constraints.Boolean ignoreFirstNarrowSecond CFLP.Tests.CallTimeChoice ignot CFLP.Tests.CallTimeChoice incrementDepth CFLP.Strategies.DepthCounter initID CFLP iterDFS CFLP.Strategies iterDFS_B CFLP.Strategies limDFS CFLP.Strategies limDFS_B CFLP.Strategies limitDepth CFLP.Strategies.DepthLimit lookupBoolean CFLP.Constraints.Boolean map CFLP.Types.List mapSharedUnknowns CFLP.Tests.HigherOrder Match CFLP memberWithFold CFLP.Tests.HigherOrder Monadic CFLP monadic CFLP Narrow CFLP narrow CFLP neg CFLP.Constraints.Boolean negHeads CFLP.Tests.CallTimeChoice nil CFLP.Types.List no CFLP.Constraints.Boolean noDemandOnSharedVar CFLP.Tests.CallTimeChoice Nondet CFLP nondet CFLP NormalForm CFLP not CFLP.Types.Bool null CFLP.Types.List oneOf CFLP overApplication CFLP.Tests.HigherOrder partialNormalForm CFLP patterns CFLP pCons CFLP.Types.List pFalse CFLP.Types.Bool pNil CFLP.Types.List pointfreeReverse CFLP.Tests.HigherOrder primitive CFLP pTrue CFLP.Types.Bool randomise CFLP.Strategies.Random Randomiser CFLP.Strategies.Random resetDepthLimit CFLP.Strategies.DepthLimit Result CFLP reverseWithFoldr CFLP.Tests.HigherOrder Rnd CFLP.Strategies.Random RndCtx CFLP.Strategies.Random rndDFS CFLP.Strategies rndDFS_B CFLP.Strategies Sat CFLP.Constraints.Boolean SatCtx CFLP.Constraints.Boolean satSolving CFLP.Constraints.Boolean setDepthLimit CFLP.Strategies.DepthLimit setRandomGen CFLP.Strategies.Random sharedCompoundTerms CFLP.Tests.CallTimeChoice sharedVarsAreEqual CFLP.Tests.CallTimeChoice StoreCTC CFLP.Strategies.CallTimeChoice tail CFLP.Types.List tests 1 (Function) CFLP.Tests.Boolean 2 (Function) CFLP.Tests.CallTimeChoice 3 (Function) CFLP.Tests.HigherOrder true CFLP.Types.Bool two 1 (Function) CFLP.Tests.CallTimeChoice 2 (Function) CFLP.Tests.HigherOrder unknown CFLP unsatisfiable CFLP.Tests.Boolean unsatisfiableWithBacktracking CFLP.Tests.Boolean UpdateT CFLP withHNF CFLP withUnique CFLP xAndYandZ CFLP.Tests.Boolean yes CFLP.Constraints.Boolean ^: CFLP.Types.List