00001 #include "opennwa/NwaFwd.hpp" 00002 00003 namespace opennwa 00004 { 00005 namespace construct 00006 { 00007 00008 /** 00009 * 00010 * @brief constructs the NWA which is the reverse of the given NWA 00011 * 00012 * This method constructs the NWA which is the reverse of the given NWA. It reverses 00013 * internal transitions and switches call and return transitions. 00014 * Note: the resulting NWA is NOT guaranteed to be deterministic. 00015 * 00016 * @param - first: the NWA to reverse 00017 * 00018 */ 00019 extern void reverse(Nwa & out, Nwa const & source); 00020 00021 00022 /** 00023 * 00024 * @brief constructs the NWA which is the reverse of the given NWA 00025 * 00026 * This method constructs the NWA which is the reverse of the given NWA. It reverses 00027 * internal transitions and switches call and return transitions. 00028 * Note: the resulting NWA is NOT guaranteed to be deterministic. 00029 * 00030 * @param - first: the NWA to reverse 00031 * @param - stuck: dummy parameter 00032 * @return the NWA resulting from reversing the given NWA 00033 * 00034 */ 00035 extern NwaRefPtr reverse( Nwa const & source ); 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