| add_new_edge(const uint32_t &first_variable_index, const uint32_t &second_variable_index) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| analyze_circuit() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| check_is_not_constant_variable(const uint32_t &variable_index) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| check_vertex_in_connected_component(const std::vector< uint32_t > &connected_component, const uint32_t &var_index) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| circuit_builder | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| connect_all_variables_in_vector(const std::vector< uint32_t > &variables_vector) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| connect_variables | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| connected_components | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| depth_first_search(const uint32_t &variable_index, std::unordered_set< uint32_t > &is_used, std::vector< uint32_t > &connected_component) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| find_block_index(const auto &block) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| find_connected_components(bool return_all_connected_components=false) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| fixed_variables | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| get_arithmetic_gate_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_connected_component_with_index(const std::vector< std::vector< uint32_t > > &connected_components, size_t index) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| get_databus_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_eccop_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| get_eccop_part_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_elliptic_gate_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_memory_gate_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_non_native_field_gate_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_plookup_gate_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_poseido2s_gate_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_ram_table_connected_component(const bb::RamTranscript &ram_array) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_rom_table_connected_component(const bb::RomTranscript &rom_array) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_sort_constraint_connected_component(size_t index, size_t block_idx, auto &blk) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_variables_gate_counts() const | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_variables_in_one_gate() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| main_connected_components | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| mark_finalize_connected_components() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| mark_range_list_connected_components() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| operator=(const StaticAnalyzer_ &other)=delete | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| operator=(StaticAnalyzer_ &&other)=delete | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_arithmetic_gate_info(size_t gate_idx, auto &block) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_connected_components_info() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_delta_range_gate_info(size_t gate_idx, auto &block) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_elliptic_gate_info(size_t gate_idx, auto &block) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_memory_gate_info(size_t gate_idx, auto &block) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_nnf_gate_info(size_t gate_idx, auto &block) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_plookup_gate_info(size_t gate_idx, auto &block) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_poseidon2s_gate_info(size_t gate_idx, auto &block) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_variable_info(const uint32_t real_idx) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| print_variables_gate_counts() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| process_current_decompose_chain(size_t index) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| process_current_plookup_gate(size_t gate_index) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| process_execution_trace() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| process_gate_variables(std::vector< uint32_t > &gate_variables, size_t gate_index, size_t blk_idx) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| remove_record_witness_variables() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| remove_unnecessary_aes_plookup_variables(bb::plookup::BasicTableId &table_id, size_t gate_index) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| remove_unnecessary_decompose_variables(const std::unordered_set< uint32_t > &decompose_variables) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| remove_unnecessary_plookup_variables() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| remove_unnecessary_range_constrains_variables() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| remove_unnecessary_sha256_plookup_variables(bb::plookup::BasicTableId &table_id, size_t gate_index) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| StaticAnalyzer_()=default | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| StaticAnalyzer_(const StaticAnalyzer_ &other)=delete | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| StaticAnalyzer_(StaticAnalyzer_ &&other)=delete | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| StaticAnalyzer_(CircuitBuilder &circuit_builder, bool connect_variables=true) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| to_real(std::vector< uint32_t > &variable_indices) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| to_real(const uint32_t &variable_index) const | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| variable_adjacency_lists | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| variable_gates | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| variables_degree | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| variables_gate_counts | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| variables_in_one_gate | cdg::StaticAnalyzer_< FF, CircuitBuilder > | private |
| ~StaticAnalyzer_()=default | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
1.9.8