|
spot 2.12.2
|
This is the complete list of members for spot::aig, including all inherited members.
| accum_common_(const bdd &b) const | spot::aig | protected |
| aig(const std::vector< std::string > &inputs, const std::vector< std::string > &outputs, unsigned num_latches, bdd_dict_ptr dict=make_bdd_dict()) | spot::aig | |
| aig(unsigned num_inputs, unsigned num_outputs, unsigned num_latches, bdd_dict_ptr dict=make_bdd_dict()) | spot::aig | |
| aig_and(unsigned v1, unsigned v2) | spot::aig | |
| aig_and(std::vector< unsigned > &vs) | spot::aig | |
| aig_false() noexcept (defined in spot::aig) | spot::aig | inlinestatic |
| aig_not(unsigned v) | spot::aig | |
| aig_or(unsigned v1, unsigned v2) | spot::aig | |
| aig_or(std::vector< unsigned > &vs) | spot::aig | |
| aig_pos(unsigned v) | spot::aig | |
| aig_true() noexcept (defined in spot::aig) | spot::aig | inlinestatic |
| aigvar2bdd(unsigned v, bool neg=false) const | spot::aig | inline |
| all_ins_ (defined in spot::aig) | spot::aig | protected |
| all_latches_ (defined in spot::aig) | spot::aig | protected |
| and_gates_ (defined in spot::aig) | spot::aig | protected |
| as_automaton(bool keepsplit=false) const | spot::aig | |
| bdd2aigvar(const bdd &b) const | spot::aig | inline |
| bdd2INFvar(const bdd &b) | spot::aig | |
| bdd2ISOPvar(const bdd &b, const int use_split_off=0) | spot::aig | |
| bdd2var_ (defined in spot::aig) | spot::aig | protected |
| circ_init() | spot::aig | |
| circ_state() const | spot::aig | inline |
| circ_state_of(unsigned var) const | spot::aig | inline |
| circ_step(const std::vector< bool > &inputs) | spot::aig | |
| cube2var_(const bdd &b, const int use_split_off) | spot::aig | protected |
| dict_ (defined in spot::aig) | spot::aig | protected |
| encode_all_bdds(const std::vector< bdd > &all_bdd) | spot::aig | |
| encode_bdd(const std::vector< bdd > &c_alt, char method=1, bool use_dual=false, int use_split_off=0) | spot::aig | |
| encode_bdd(const bdd &b, char method=1, bool use_dual=false, int use_split_off=0) | spot::aig | |
| gate_bdd(unsigned i, bool neg=false) const | spot::aig | inline |
| gate_var(unsigned i, bool neg=false) const | spot::aig | inline |
| gates() const | spot::aig | inline |
| get_safe_point_() const | spot::aig | |
| input_bdd(unsigned i, bool neg=false) const | spot::aig | inline |
| input_names() const | spot::aig | inline |
| input_names_ (defined in spot::aig) | spot::aig | protected |
| input_var(unsigned i, bool neg=false) const | spot::aig | inline |
| l0_ (defined in spot::aig) | spot::aig | protected |
| latch_bdd(unsigned i, bool neg=false) const | spot::aig | inline |
| latch_var(unsigned i, bool neg=false) const | spot::aig | inline |
| max_var() const | spot::aig | inline |
| max_var_ (defined in spot::aig) | spot::aig | protected |
| next_latches() const | spot::aig | inline |
| next_latches_ (defined in spot::aig) | spot::aig | protected |
| num_gates() const | spot::aig | inline |
| num_inputs() const | spot::aig | inline |
| num_inputs_ (defined in spot::aig) | spot::aig | protected |
| num_latches() const | spot::aig | inline |
| num_latches_ (defined in spot::aig) | spot::aig | protected |
| num_outputs() const | spot::aig | inline |
| num_outputs_ (defined in spot::aig) | spot::aig | protected |
| output(unsigned num) const | spot::aig | inline |
| output_names() const | spot::aig | inline |
| output_names_ (defined in spot::aig) | spot::aig | protected |
| outputs() const | spot::aig | inline |
| outputs_ (defined in spot::aig) | spot::aig | protected |
| parse_aag(const std::string &aig_file, bdd_dict_ptr dict=make_bdd_dict()) | spot::aig | static |
| parse_aag(const char *data, const std::string &filename, bdd_dict_ptr dict=make_bdd_dict()) (defined in spot::aig) | spot::aig | static |
| parse_aag(std::istream &iss, const std::string &filename, bdd_dict_ptr dict=make_bdd_dict()) (defined in spot::aig) | spot::aig | static |
| reapply_(safe_point sp, const safe_stash &ss) | spot::aig | |
| register_input_(unsigned i, const bdd &b) (defined in spot::aig) | spot::aig | protected |
| register_latch_(unsigned i, const bdd &b) (defined in spot::aig) | spot::aig | protected |
| register_new_lit_(unsigned v, const bdd &b) | spot::aig | protected |
| roll_back_(safe_point sp, bool do_stash=false) | spot::aig | |
| safe_point typedef | spot::aig | |
| safe_stash typedef (defined in spot::aig) | spot::aig | |
| set_next_latch(unsigned i, unsigned v) | spot::aig | |
| set_output(unsigned i, unsigned v) | spot::aig | |
| split_cond_(const bdd &b, char so_mode, std::vector< bdd > &cond_parts) | spot::aig | protected |
| state_ (defined in spot::aig) | spot::aig | protected |
| unregister_lit_(unsigned v) | spot::aig | protected |
| var2bdd_ (defined in spot::aig) | spot::aig | protected |
| ~aig() (defined in spot::aig) | spot::aig | inline |
1.9.4