Main Page | Class Hierarchy | Class List | File List | Class Members | File Members

petri_net Member List

This is the complete list of members for petri_net, including all inherited members.

add_place(const std::string &name, int initial_marking=0)petri_net
add_transition(const std::string &name)petri_net
firable(const marking &m) constpetri_net
format_marking(const marking &m) constpetri_net
get_initial_marking() constpetri_net
get_place_name(int p) constpetri_net
get_place_num(const std::string &name) constpetri_net
get_post_condition(int t) constpetri_net
get_pre_condition(int t) constpetri_net
get_transition_name(int t) constpetri_net
get_transition_num(const std::string &name) constpetri_net
incidencepetri_net [private]
m0petri_net [private]
name_num_ppetri_net [private]
name_num_tpetri_net [private]
operator<<(std::ostream &, const petri_net &)petri_net [friend]
p_namespetri_net [private]
p_size() constpetri_net
parse(const char *file_name)petri_net [static]
petri_net()petri_net
place_exists(const std::string &name) constpetri_net
postpetri_net [private]
prepetri_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) constpetri_net
t_namespetri_net [private]
t_size() constpetri_net
transition_exists(const std::string &name) constpetri_net


Please comment this page and report errors about it on the RefDocComments page.
Generated on Tue Nov 9 16:24:01 2004 for checkpn by doxygen 1.3.8