, including all inherited members.
| add_rule(Key from_state, Key from_stack, Key to_state, sem_elem_t se) | wali::wpds::WPDS | [virtual] |
| add_rule(Key from_state, Key from_stack, Key to_state, Key to_stack1, sem_elem_t se) | wali::wpds::WPDS | [virtual] |
| add_rule(Key from_state, Key from_stack, Key to_state, Key to_stack1, Key to_stack2, sem_elem_t se) | wali::wpds::WPDS | [virtual] |
| add_rule(Key from_state, Key from_stack, Key to_state, Key to_stack1, Key to_stack2, sem_elem_t se, bool replace_weight, rule_t &r) | wali::wpds::WPDS | [protected, virtual] |
| add_rule(Key from_state, Key from_stack, Key to_state, Key to_stack1, Key to_stack2, sem_elem_t se, rule_t &r) | wali::wpds::WPDS | [protected, virtual] |
| chash_t typedef | wali::wpds::WPDS | [protected] |
| clear() | wali::wpds::WPDS | [virtual] |
| config_map() const | wali::wpds::WPDS | [protected] |
| config_map() | wali::wpds::WPDS | [protected] |
| configs | wali::wpds::WPDS | [protected] |
| const_iterator typedef | wali::wpds::WPDS | [protected] |
| constructCFG(std::set< Key > &entries, std::map< Key, Key > &entryState, wfa::WFA &cfg) | wali::wpds::WPDS | |
| count_rules() const | wali::wpds::WPDS | [virtual] |
| currentOutputWFA | wali::wpds::WPDS | [protected] |
| find_config(Key state, Key stack) | wali::wpds::WPDS | [protected, virtual] |
| for_each(ConstRuleFunctor &func) const | wali::wpds::WPDS | [virtual] |
| for_each(RuleFunctor &func) | wali::wpds::WPDS | [virtual] |
| gen_state(Key state, Key stack) | wali::wpds::WPDS | [protected, virtual] |
| get_from_worklist(wfa::ITrans *&) | wali::wpds::WPDS | [protected, virtual] |
| get_states() const | wali::wpds::WPDS | |
| get_theZero() | wali::wpds::WPDS | |
| is_pds_state(wali::Key k) const | wali::wpds::WPDS | |
| iterator typedef | wali::wpds::WPDS | [protected] |
| make_config(Key state, Key stack) | wali::wpds::WPDS | [protected, virtual] |
| make_rule(Config *f, Config *t, Key stk2, bool replace_weight, rule_t &r) | wali::wpds::WPDS | [protected, virtual] |
| make_rule(Config *f, Config *t, Key stk2, rule_t &r) | wali::wpds::WPDS | [protected, virtual] |
| marshall(std::ostream &o) const | wali::wpds::WPDS | [virtual] |
| num_pds_states() const | wali::wpds::WPDS | |
| operator()(wfa::ITrans const *t) | wali::wpds::WPDS | [virtual] |
| pds_states | wali::wpds::WPDS | [protected] |
| post(wfa::ITrans *t, wfa::WFA &fa) | wali::wpds::WPDS | [protected, virtual] |
| poststar(wfa::WFA const &input) | wali::wpds::WPDS | [virtual] |
| poststar(wfa::WFA const &input, wfa::WFA &output) | wali::wpds::WPDS | [virtual] |
| poststar_handle_eps_trans(wfa::ITrans *teps, wfa::ITrans *tprime, sem_elem_t delta) | wali::wpds::WPDS | [protected, virtual] |
| poststar_handle_trans(wfa::ITrans *t, wfa::WFA &ca, rule_t &r, sem_elem_t delta) | wali::wpds::WPDS | [protected, virtual] |
| poststarComputeFixpoint(wfa::WFA &fa) | wali::wpds::WPDS | [protected, virtual] |
| poststarSetupFixpoint(wfa::WFA const &input, wfa::WFA &fa) | wali::wpds::WPDS | [protected, virtual] |
| pre(wfa::ITrans *t, wfa::WFA &fa) | wali::wpds::WPDS | [protected, virtual] |
| prestar(wfa::WFA const &input) | wali::wpds::WPDS | [virtual] |
| prestar(wfa::WFA const &input, wfa::WFA &output) | wali::wpds::WPDS | [virtual] |
| prestar_handle_call(wfa::ITrans *t1, wfa::ITrans *t2, rule_t &r, sem_elem_t delta) | wali::wpds::WPDS | [protected, virtual] |
| prestar_handle_trans(wfa::ITrans *t, wfa::WFA &ca, rule_t &r, sem_elem_t delta) | wali::wpds::WPDS | [protected, virtual] |
| prestarComputeFixpoint(wfa::WFA &fa) | wali::wpds::WPDS | [protected, virtual] |
| prestarSetupFixpoint(wfa::WFA const &input, wfa::WFA &fa) | wali::wpds::WPDS | [protected, virtual] |
| print(std::ostream &o) const | wali::wpds::WPDS | [virtual] |
| wali::Printable::print(std::ostream &) const =0 | wali::Printable | [pure virtual] |
| print_dot(std::ostream &o, bool print_state=false) const | wali::wpds::WPDS | [virtual] |
| r2hash | wali::wpds::WPDS | [protected] |
| r2hash_t typedef | wali::wpds::WPDS | [protected] |
| replace_rule(Key from_state, Key from_stack, Key to_state, sem_elem_t se) | wali::wpds::WPDS | [virtual] |
| replace_rule(Key from_state, Key from_stack, Key to_state, Key to_stack1, sem_elem_t se) | wali::wpds::WPDS | [virtual] |
| replace_rule(Key from_state, Key from_stack, Key to_state, Key to_stack1, Key to_stack2, sem_elem_t se) | wali::wpds::WPDS | [virtual] |
| rule_zeroes | wali::wpds::WPDS | [protected] |
| setupOutput(wfa::WFA const &input, wfa::WFA &fa) | wali::wpds::WPDS | [protected, virtual] |
| setWorklist(ref_ptr< Worklist< wfa::ITrans > > wl) | wali::wpds::WPDS | |
| theZero | wali::wpds::WPDS | [protected] |
| to_string() const | wali::Printable | |
| toString() const | wali::Printable | |
| unlinkOutput(wfa::WFA &fa) | wali::wpds::WPDS | [protected, virtual] |
| update(Key from, Key stack, Key to, sem_elem_t se, Config *cfg) | wali::wpds::WPDS | [protected, virtual] |
| update_prime(Key from, wfa::ITrans *call, rule_t r, sem_elem_t delta, sem_elem_t wWithRule) | wali::wpds::WPDS | [protected, virtual] |
| worklist | wali::wpds::WPDS | [protected] |
| WPDS() | wali::wpds::WPDS | |
| WPDS(ref_ptr< Wrapper > wrapper) | wali::wpds::WPDS | |
| WPDS(const WPDS &w) | wali::wpds::WPDS | |
| wrapper | wali::wpds::WPDS | [protected] |
| XMLTag | wali::wpds::WPDS | [static] |
| ~ConstTransFunctor() | wali::wfa::ConstTransFunctor | [virtual] |
| ~Printable() | wali::Printable | [virtual] |
| ~WPDS() | wali::wpds::WPDS | [virtual] |
