mqt.qcec.configuration_options

Configuration options for the equivalence checking manager.

Classes

ConfigurationOptions

A dictionary of configuration options.

Functions

augment_config_from_kwargs(→ None)

Augment an existing Configuration with options from a collection of keyword arguments.

Module Contents

class ConfigurationOptions

Bases: TypedDict

A dictionary of configuration options.

The keys of this dictionary are the names of the configuration options. The values are the values of the configuration options.

augment_config_from_kwargs(config: mqt.qcec.pyqcec.Configuration, **kwargs: Unpack[ConfigurationOptions]) → None

Augment an existing Configuration with options from a collection of keyword arguments.

Parameters:

• config – The configuration to augment.

• kwargs – The arguments to build the configuration from.