Index _ | A | B | C | D | E | F | G | H | I | L | M | N | O | P | R | S | T | U | W _ __and__() (TruthTable method) __assign__() (TruthTable method) __bool__() (Aig method) (CecStatus method), [1] __contains__() (Aig method) __copy__() (Aig method) (AigCut method) (DepthAig method) (FanoutAig method) (NamedAig method) (SequentialAig method) (TruthTable method) __deepcopy__() (Aig method) (AigCut method) (DepthAig method) (FanoutAig method) (NamedAig method) (SequentialAig method) (TruthTable method) __eq__() (AigEdge method) (AigSignal method) (TruthTable method) __getitem__() (AigEdgeList method) (AigIndexList method) (TruthTable method) __getstate__() (Aig method) (SequentialAig method) (TruthTable method) __hash__() (AigSignal method) (TruthTable method) __invert__() (AigSignal method) (TruthTable method) __iter__() (Aig method) (AigEdgeList method) (AigIndexList method) (TruthTable method) __len__() (Aig method) (AigEdgeList method) (AigIndexList method) (TruthTable method) __lt__() (AigSignal method) (TruthTable method) __ne__() (AigEdge method) (AigSignal method) (TruthTable method) __neg__() (AigSignal method) __or__() (TruthTable method) __pos__() (AigSignal method) __setitem__() (AigEdgeList method) (AigIndexList method) (TruthTable method) __setstate__() (Aig method) (SequentialAig method) (TruthTable method) __version__ (in module aigverse) __xor__() (AigSignal method) (TruthTable method) A abc_binary() (in module aigverse.abc) ABC_ENV_VAR (in module aigverse.abc) abc_rc() (in module aigverse.abc) ABC_RC_ENV_VAR (in module aigverse.abc) abc_version() (in module aigverse.abc) AbcError AbcExecutionError AbcNotFoundError AbcStats (class in aigverse.abc) AbcTimeoutError add_and() (AigIndexList method) add_inputs() (AigIndexList method) add_output() (AigIndexList method) add_xor() (AigIndexList method) Aig (class in aigverse.networks) aig_cut_rewriting() (in module aigverse.algorithms) aig_resubstitution() (in module aigverse.algorithms) AigCut (class in aigverse.networks) AigEdge (class in aigverse.networks) AigEdgeList (class in aigverse.networks) AigIndexList (class in aigverse.networks) AigRegister (class in aigverse.networks) AigSignal (class in aigverse.networks) aigverse module aigverse.abc module aigverse.abc.gia module aigverse.adapters module aigverse.adapters.networkx module aigverse.algorithms module aigverse.benchmarks module aigverse.generators module aigverse.io module aigverse.networks module aigverse.utils module append() (AigEdgeList method) average_level (AbcStats attribute) B balance() (in module aigverse.abc) (in module aigverse.abc.gia) balancing() (in module aigverse.algorithms) benchmark_cache() (in module aigverse.benchmarks) binary (AbcExecutionError attribute) BINARY (EdgeTensorEncoding attribute) binary_decoder() (in module aigverse.generators) C CACHE_ENV_VAR (in module aigverse.benchmarks) carry_lookahead_adder() (in module aigverse.generators) cec() (in module aigverse.abc.gia) CecStatus (class in aigverse.abc) (class in aigverse.abc.gia) ci_at() (SequentialAig method) ci_index() (SequentialAig method) cis() (SequentialAig method) cleanup_dangling() (in module aigverse.algorithms) clear() (AigEdgeList method) (AigIndexList method) (TruthTable method) clear_bit() (TruthTable method) clone() (Aig method) (AigCut method) (DepthAig method) (FanoutAig method) (NamedAig method) (SequentialAig method) clone_node() (Aig method) co_at() (SequentialAig method) co_index() (SequentialAig method) cofactor0() (in module aigverse.utils) cofactor1() (in module aigverse.utils) command (AbcExecutionError attribute) complement (AigSignal property) compress() (in module aigverse.abc) compress2() (in module aigverse.abc) compress2rs() (in module aigverse.abc) control (AigRegister property) cos() (SequentialAig method) count_ones() (TruthTable method) count_zeroes() (TruthTable method) create_and() (Aig method) create_buf() (Aig method) create_from_binary_string() (TruthTable method) create_from_hex_string() (TruthTable method) create_ite() (Aig method) create_le() (Aig method) create_lt() (Aig method) create_maj() (Aig method) create_majority() (TruthTable method) create_nand() (Aig method) create_nary_and() (Aig method) create_nary_or() (Aig method) create_nary_xor() (Aig method) create_nor() (Aig method) create_not() (Aig method) create_nth_var() (TruthTable method) create_or() (Aig method) create_pi() (Aig method) (NamedAig method) (SequentialAig method) create_po() (Aig method) (DepthAig method) (NamedAig method) (SequentialAig method) create_random() (TruthTable method) create_ri() (SequentialAig method) create_ro() (SequentialAig method) create_xnor() (Aig method) create_xor() (Aig method) create_xor3() (Aig method) D data (AigSignal property) dc2() (in module aigverse.abc) (in module aigverse.abc.gia) deepsyn() (in module aigverse.abc.gia) DEFAULT_REVISION (in module aigverse.benchmarks) DepthAig (class in aigverse.networks) E edges (AigEdgeList property) EdgeTensorEncoding (class in aigverse.networks) epfl() (in module aigverse.benchmarks) EPFL_ARITHMETIC (in module aigverse.benchmarks) EPFL_BENCHMARKS (in module aigverse.benchmarks) epfl_names() (in module aigverse.benchmarks) epfl_path() (in module aigverse.benchmarks) EPFL_RANDOM_CONTROL (in module aigverse.benchmarks) equivalence_checking() (in module aigverse.algorithms) EQUIVALENT (CecStatus attribute), [1] expand_script() (in module aigverse.abc) F fanin_size() (Aig method) fanins() (Aig method) fanout_size() (Aig method) FanoutAig (class in aigverse.networks) fanouts() (FanoutAig method) find_abc_binary() (in module aigverse.abc) flip_bit() (TruthTable method) fraig() (in module aigverse.abc.gia) G gates() (Aig method) (AigCut method) (AigIndexList method) get_bit() (TruthTable method) get_block() (TruthTable method) get_constant() (Aig method) get_name() (NamedAig method) get_network_name() (NamedAig method) get_node() (Aig method) get_output_name() (NamedAig method) H has_and() (Aig method) has_name() (NamedAig method) has_output_name() (NamedAig method) I index (AigSignal property) index_to_node() (Aig method) (AigCut method) init (AigRegister property) INTEGER (NodeTensorEncoding attribute) is_and() (Aig method) is_available() (in module aigverse.abc) is_ci() (SequentialAig method) is_combinational (Aig property) (SequentialAig property) is_complemented() (Aig method) is_const0() (TruthTable method) is_const1() (TruthTable method) is_constant() (Aig method) is_ite() (Aig method) is_maj() (Aig method) is_nary_and() (Aig method) is_nary_or() (Aig method) is_on_critical_path() (DepthAig method) is_or() (Aig method) is_pi() (Aig method) (AigCut method) (SequentialAig method) is_ro() (SequentialAig method) is_xor() (Aig method) is_xor3() (Aig method) L level() (DepthAig method) M make_signal() (Aig method) memory_mb (AbcStats attribute) module aigverse aigverse.abc aigverse.abc.gia aigverse.adapters aigverse.adapters.networkx aigverse.algorithms aigverse.benchmarks aigverse.generators aigverse.io aigverse.networks aigverse.utils multiplexer() (in module aigverse.generators) N NamedAig (class in aigverse.networks) node_to_index() (Aig method) (AigCut method) nodes() (Aig method) (AigCut method) NodeTensorEncoding (class in aigverse.networks) NOT_EQUIVALENT (CecStatus attribute), [1] ntk (AigEdgeList property) num_bits() (TruthTable method) num_blocks() (TruthTable method) num_cis (SequentialAig property) num_cos (SequentialAig property) num_gates (AbcStats attribute) (Aig property) (AigCut property) (AigIndexList property) num_levels (AbcStats attribute) (DepthAig property) num_pis (AbcStats attribute) (Aig property) (AigCut property) (AigIndexList property) (SequentialAig property) num_pos (AbcStats attribute) (Aig property) (AigCut property) (AigIndexList property) (SequentialAig property) num_registers (AbcStats attribute) (SequentialAig property) num_vars() (TruthTable method) O ONE_HOT (EdgeTensorEncoding attribute) (NodeTensorEncoding attribute) orchestrate() (in module aigverse.abc) output (AbcExecutionError attribute) P pi_at() (Aig method) (SequentialAig method) pi_index() (Aig method) (SequentialAig method) pis() (Aig method) (AigCut method) (SequentialAig method) po_at() (Aig method) (SequentialAig method) po_index() (Aig method) pos() (Aig method) (AigCut method) (AigIndexList method) (SequentialAig method) R random_aig() (in module aigverse.generators) raw (AbcStats attribute) raw() (AigIndexList method) read_aiger_into_aig() (in module aigverse.io) read_aiger_into_sequential_aig() (in module aigverse.io) read_ascii_aiger_into_aig() (in module aigverse.io) read_ascii_aiger_into_sequential_aig() (in module aigverse.io) read_pla_into_aig() (in module aigverse.io) read_verilog_into_aig() (in module aigverse.io) refactor() (in module aigverse.abc) register_at() (SequentialAig method) registers() (SequentialAig method) resub() (in module aigverse.abc) (in module aigverse.abc.gia) resyn() (in module aigverse.abc) resyn2() (in module aigverse.abc) resyn2rs() (in module aigverse.abc) resyn3() (in module aigverse.abc) rewrite() (in module aigverse.abc) ri_at() (SequentialAig method) ri_index() (SequentialAig method) ri_to_ro() (SequentialAig method) ripple_carry_adder() (in module aigverse.generators) ripple_carry_multiplier() (in module aigverse.generators) ris() (SequentialAig method) ro_at() (SequentialAig method) ro_index() (SequentialAig method) ro_to_ri() (SequentialAig method) ros() (SequentialAig method) run_commands() (in module aigverse.abc) run_script() (in module aigverse.abc) (in module aigverse.abc.gia) S SCRIPTS (in module aigverse.abc) SequentialAig (class in aigverse.networks) set_abc_binary() (in module aigverse.abc) set_abc_rc() (in module aigverse.abc) set_benchmark_cache() (in module aigverse.benchmarks) set_bit() (TruthTable method) set_name() (NamedAig method) set_network_name() (NamedAig method) set_output_name() (NamedAig method) set_register() (SequentialAig method) sideways_sum_adder() (in module aigverse.generators) SIGNED (EdgeTensorEncoding attribute) simulate() (in module aigverse.algorithms) simulate_nodes() (in module aigverse.algorithms) size (Aig property) (AigCut property) (AigIndexList property) sop_refactoring() (in module aigverse.algorithms) source (AigEdge property) stats() (in module aigverse.abc) (in module aigverse.abc.gia) syn2() (in module aigverse.abc.gia) syn3() (in module aigverse.abc.gia) syn4() (in module aigverse.abc.gia) T target (AigEdge property) ternary_majority() (in module aigverse.utils) TIMEOUT (CecStatus attribute), [1] to_aig() (AigIndexList method) to_binary() (TruthTable method) to_edge_list() (Aig method) (SequentialAig method) to_graph_tensors() (Aig method) (SequentialAig method) to_hex() (TruthTable method) to_index_list() (Aig method) (AigCut method) (SequentialAig method) to_networkx() (Aig method) (in module aigverse.adapters.networkx) transduction() (in module aigverse.abc.gia) transtoch() (in module aigverse.abc.gia) TruthTable (class in aigverse.utils) type (AigRegister property) U UNDECIDED (CecStatus attribute), [1] update_levels() (DepthAig method) W weight (AigEdge property) write_aiger() (in module aigverse.io) write_dot() (in module aigverse.io) write_verilog() (in module aigverse.io)