concepts.dm.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:
__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.