| add_new_edge(const uint32_t &first_variable_index, const uint32_t &second_variable_index) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| analyze_circuit(bool filter_cc=true) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| check_is_not_constant_variable(const uint32_t &variable_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 |
| constant_variable_indices_set | 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 > | |
| extract_gate_variables(size_t index, Block &blk, const bb::gate_patterns::GatePattern &pattern, const GateSelectorColumn &gate_selector_column) | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| find_connected_components() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| get_eccop_part_connected_component(size_t index, 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_variables_gate_counts() const | cdg::StaticAnalyzer_< FF, CircuitBuilder > | inline |
| get_variables_in_one_gate() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| is_gate_sorted_rom(auto &memory_block, size_t gate_idx) const | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| mark_finalize_connected_components() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| mark_process_rom_connected_component() | 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, auto &blk) | 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_keccak_plookup_variables(bb::plookup::BasicTableId &table_id, size_t gate_index) | 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 |
| save_constant_variable_indices() | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| 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 |
| variable_only_in_sorted_rom_gates(uint32_t var_idx, auto &blk) const | cdg::StaticAnalyzer_< FF, CircuitBuilder > | |
| 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