concepts.pdsketch.generator.FancyGenerator#

class FancyGenerator[source]#

Bases: object

Methods

Attributes

`name`	The name of the generator.
`certifies`	The condition that the generated values should satisfy.
`function`	The declaration of the underlying function that generates the values.
`flatten_certifies`	The condition that the generated values should satisfy, flattened.
`implementation`	The implementation of the generator.
`priority`	The priority of the generator.
`unsolvable`	Whether the generator is unsolvable.

__init__(name, certifies, function, flatten_certifies, implementation=None, priority=0, unsolvable=False)[source]#

Parameters:

name (str)
certifies (ValueOutputExpression)
function (Function)
flatten_certifies (ValueOutputExpression)
implementation (Implementation | None)
priority (int)
unsolvable (bool)

__new__(**kwargs)#

short_str()[source]#

certifies: ValueOutputExpression#: The condition that the generated values should satisfy.

flatten_certifies: ValueOutputExpression#: The condition that the generated values should satisfy, flattened.

function: Function#: The declaration of the underlying function that generates the values.

implementation: Implementation | None#: The implementation of the generator.

name: str#: The name of the generator.

priority: int#: The priority of the generator.

unsolvable: bool#: Whether the generator is unsolvable.