Classes |
| struct | wali::graph::cmp_reg_exp |
| struct | wali::graph::reg_exp_key_t |
| struct | wali::graph::hash_reg_exp_key |
| struct | wali::graph::hash_sem_elem |
| struct | wali::graph::sem_elem_equal |
| struct | wali::graph::sem_elem_less |
| struct | wali::graph::RegExpStats |
| class | wali::graph::RegExpSatProcess |
| class | wali::graph::RegExp |
Namespaces |
| namespace | wali |
| namespace | wali::graph |
Typedefs |
| typedef ref_ptr< RegExp > | wali::graph::reg_exp_t |
| typedef long unsigned int | wali::graph::node_no_t |
| typedef pair< long int, long int > | wali::graph::out_node_height_t |
typedef map< long int,
out_node_height_t > | wali::graph::out_node_stat_t |
typedef map< reg_exp_t,
reg_exp_t, cmp_reg_exp > | wali::graph::reg_exp_cache_t |
typedef map< unsigned int,
sem_elem_t > | wali::graph::delta_map_t |
typedef wali::HashMap
< reg_exp_key_t, reg_exp_t,
hash_reg_exp_key,
reg_exp_key_t > | wali::graph::reg_exp_hash_t |
typedef wali::HashMap
< sem_elem_t, reg_exp_t,
hash_sem_elem, sem_elem_equal > | wali::graph::const_reg_exp_hash_t |
Enumerations |
| enum | wali::graph::reg_exp_type {
wali::graph::Constant,
wali::graph::Updatable,
wali::graph::Extend,
wali::graph::Combine,
wali::graph::Star
} |
Functions |
| ostream & | wali::graph::operator<< (ostream &out, const RegExpStats &s) |
