por_t Member List
This is the complete list of members for
por_t, including all inherited members.
ample_set(state_t s, enabled_trans_container_t &enabled_trans, std::size_t &proc_gid) | por_t | |
ample_set_succs(state_t s, succ_container_t &succs, std::size_t &proc_gid) | por_t | |
count_approx_interuptions (defined in por_t) | por_t | |
dep_interupted (defined in por_t) | por_t | |
full_dep (defined in por_t) | por_t | |
full_pre (defined in por_t) | por_t | |
full_vis (defined in por_t) | por_t | |
generate_ample_sets(state_t s, bool *ample_sets, enabled_trans_container_t &enabled_trans, std::size_t &le_proc_gid) | por_t | |
generate_composed_ample_sets(state_t s, bool *ample_sets, enabled_trans_container_t **ample_trans, enabled_trans_container_t &all_enabled_trans) | por_t | |
get_dep(bit_string_t *result) (defined in por_t) | por_t | |
get_pre(bit_string_t *result) | por_t | |
get_visibility() | por_t | |
init(explicit_system_t *S, list< expression_t * > *vis_list=NULL) | por_t | |
por_t(void) | por_t | [inline] |
pre_interupted (defined in por_t) | por_t | |
set_choose_type(std::size_t type) | por_t | [inline] |
set_dep(bit_string_t *new_dep) (defined in por_t) | por_t | |
set_pre(bit_string_t *new_pre) (defined in por_t) | por_t | |
set_visibility(bit_string_t trans) | por_t | |
static_c3() | por_t | |
vis_interupted (defined in por_t) | por_t | |
~por_t() | por_t | |