Settings

Class representing the settings of a SyReC program (used to set the default bit-width).

class read_program_settings

property default_bitwidth

Class representing Property Map (used for storing settings and statistical information).

class properties

get_double(self: mqt.syrec.pysyrec.properties, arg0: str) → float

get_string(self: mqt.syrec.pysyrec.properties, arg0: str) → str

set_bool(self: mqt.syrec.pysyrec.properties, arg0: str, arg1: bool) → None

set_double(self: mqt.syrec.pysyrec.properties, arg0: str, arg1: float) → None

set_int(self: mqt.syrec.pysyrec.properties, arg0: str, arg1: int) → None

set_string(self: mqt.syrec.pysyrec.properties, arg0: str, arg1: str) → None

set_unsigned(self: mqt.syrec.pysyrec.properties, arg0: str, arg1: int) → None