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 &ample_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


Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University