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

pntgbautils.hh

Go to the documentation of this file.
00001 #ifndef PN_TGBA_UTILS_HH
00002 #define PN_TGBA_UTILS_HH
00003 
00004 #include "petrinet.hh"
00005 #include "ltlast/formula.hh"
00006 
00013 void count_markings(const petri_net* n);
00014 
00021 void print_reachability_graph(const petri_net* n);
00022 
00030 const std::string* check_at_prop(const petri_net* p, 
00031                                  const spot::ltl::formula* f);
00032 
00044 void model_check(const petri_net* n, 
00045                  const spot::ltl::formula* f, 
00046                  bool ce_expected, 
00047                  bool fm_exprop_opt=false, 
00048                  bool fm_symb_merge_opt=true, 
00049                  bool post_branching=false, 
00050                  bool fair_loop_approx=false);
00051                                   
00052 #endif

Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 15:17:13 2005 for checkpn by doxygen 1.4.0