ConfigurableOptions

An object that provides read and write access to the configurable options of the SyReC parser and the various supported synthesis algorithms.

class configurable_options

property allow_access_on_assigned_to_variable_parts_in_dimension_access_of_variable_access

Defines whether an access on the assigned to signal parts of an assigned is allowed in variable accesses defined in any operand of the assignment. For further details we refer to the semantics of the SyReC language.

property default_bitwidth

Defines the default variable bitwidth used by the SyReC parser for variables whose bitwidth specification was omitted

property generate_inlined_qubit_debug_information

Should debug information for the qubits associated with the local variables of a SyReC module be generated

property integer_constant_truncation_operation

Defines the operation used by the SyReC parser for the truncation of integer constant values. For further details we refer to the semantics of the SyReC language

property main_module_identifier

Define the identifier of the module serving as the entry-point of the to be processed SyReC program

The following enum defines the integer constant truncation operations supported by the SyReC parser and the various supported synthesis algorithms.

class integer_constant_truncation_operation

Members:

modulo : Use the modulo operation for the truncation of constant values

bitwise_and : Use the bitwise AND operation for the truncation of constant values

bitwise_and = <integer_constant_truncation_operation.bitwise_and: 1>

modulo = <integer_constant_truncation_operation.modulo: 0>

property name

property value