concepts.dm.crow.generator#

A generator is the “inverse” function of a black-box function. It is used in solving constraint satisfaction problems. In particular, a generator matches a set of constraints, and will generate a set of values that satisfy the constraints.

There are two types of generators:

  • directed generators: the function implementation takes a particular set of values, and generates the rest of the values.

  • undirected generators: the function implementation takes an arbitrary subset of values, and generates a set of values that satisfy the constraints.

Classes

CrowDirectedGenerator

CrowGeneratorApplicationExpression

CrowGeneratorBase

CrowUndirectedGenerator