00001 #include "opennwa/NwaFwd.hpp" 00002 00003 namespace opennwa 00004 { 00005 namespace construct 00006 { 00007 00008 /** 00009 * 00010 * @brief constructs the NWA resulting from performing Kleene-* on the given NWA 00011 * 00012 * This method constructs the Kleene-* of the given NWA by adding epsilon transitions 00013 * from all final states of the NWA to all initial states of the NWA. 00014 * Note: The resulting NWA is NOT guaranteed to be deterministic. 00015 * 00016 * @param - first: the NWA to perform the Kleene-* of 00017 * 00018 */ 00019 extern void star(Nwa & out, Nwa const & source); 00020 00021 00022 /** 00023 * 00024 * @brief constructs the NWA resulting from performing Kleene-* on the given NWA 00025 * 00026 * This method constructs the Kleene-* of the given NWA by adding epsilon transitions 00027 * from all final states of the NWA to all initial states of the NWA. 00028 * Note: The resulting NWA is NOT guaranteed to be deterministic. 00029 * 00030 * @param - first: the NWA to perform the Kleene-* of 00031 * @param - stuck: dummy parameter 00032 * @return the NWA resulting from performing Kleene-* on the given NWA 00033 * 00034 */ 00035 extern NwaRefPtr star( Nwa const & nondet ); 00036 00037 00038 } 00039 } 00040 00041 00042 // Yo, Emacs! 00043 // Local Variables: 00044 // c-file-style: "ellemtel" 00045 // c-basic-offset: 2 00046 // End: 00047
1.7.1