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