- a -

• alpha : weighted_reordering

- b -

• beta : weighted_reordering
• blif_mv : write_blif_settings

- c -

• control_char : print_circuit_settings
• control_radius : create_image_settings
• controls_offset : quantum_costs
• copy_constants : copy_metadata_settings
• copy_garbage : copy_metadata_settings
• copy_inputbuses : copy_metadata_settings
• copy_inputs : copy_metadata_settings
• copy_modules : copy_metadata_settings
• copy_name : copy_metadata_settings
• copy_outputbuses : copy_metadata_settings
• copy_outputs : copy_metadata_settings
• copy_statesignals : copy_metadata_settings
• cudd : BDDTable

- d -

• draw_after_text : create_image_settings
• draw_before_text : create_image_settings
• draw_in_between_text : create_image_settings

- e -

• elem_height : create_image_settings
• elem_width : create_image_settings
• embedding : embed_and_synthesize
• extend : read_pla_settings

- g -

• gate_added : circuit
• gate_spacing : print_circuit_settings

- h -

• header : write_realization_settings , write_specification_settings
• height : create_image_settings

- i -

• inputs : BDDTable

- k -

• keep_constant_names : write_blif_settings

- l -

• line_char : print_circuit_settings
• line_spacing : print_circuit_settings
• line_width : create_image_settings

- m -

• main_template : print_statistics_settings
• math_emph : create_tikz_settings , create_pstricks_settings

- n -

• name : module_tag
• num_real_outputs : BDDTable

- o -

• offset : shift_window_selection
• os : print_circuit_settings
• output_order : write_specification_settings
• outputs : BDDTable

- p -

• print_gate_index : print_circuit_settings
• print_inputs_and_outputs : print_circuit_settings
• propagate_constants : write_verilog_settings

- r -

• reference : module_tag
• runtime_template : print_statistics_settings

- s -

• simulation : resynthesis_optimization
• state_prefix : write_blif_settings
• swap_targets : peres_tag
• synthesis : embed_and_synthesize , resynthesis_optimization

- t -

• target_radius : create_image_settings
• target_sort_order : module_tag
• timeout : embed_and_synthesize
• tmp_signal_name : write_blif_settings

- v -

• version : write_realization_settings , write_specification_settings

- w -

• width : create_image_settings
• window_length : shift_window_selection