add_place(const std::string &name, int initial_marking=0) | petri_net | |
add_transition(const std::string &name) | petri_net | |
firable(const marking &m) const | petri_net | |
format_marking(const marking &m) const | petri_net | |
get_initial_marking() const | petri_net | |
get_place_name(int p) const | petri_net | |
get_place_num(const std::string &name) const | petri_net | |
get_post_condition(int t) const | petri_net | |
get_pre_condition(int t) const | petri_net | |
get_transition_name(int t) const | petri_net | |
get_transition_num(const std::string &name) const | petri_net | |
incidence | petri_net | [private] |
m0 | petri_net | [private] |
name_num_p | petri_net | [private] |
name_num_t | petri_net | [private] |
operator<<(std::ostream &, const petri_net &) | petri_net | [friend] |
p_names | petri_net | [private] |
p_size() const | petri_net | |
parse(const char *file_name) | petri_net | [static] |
petri_net() | petri_net | |
place_exists(const std::string &name) const | petri_net | |
post | petri_net | [private] |
pre | petri_net | [private] |
set_input_place(const std::string &place_name, const std::string &trans_name, int valuation=1) | petri_net | |
set_output_place(const std::string &place_name, const std::string &trans_name, int valuation=1) | petri_net | |
successor(const marking &m, int t) const | petri_net | |
t_names | petri_net | [private] |
t_size() const | petri_net | |
transition_exists(const std::string &name) const | petri_net |