Wali: Source/opennwa/construct/determinize.hpp Source File

Go to the documentation of this file.
00001 #include "opennwa/NwaFwd.hpp"
00002 
00003 namespace opennwa
00004 {
00005     namespace construct
00006     {
00007 
00008       extern void determinize(Nwa & out, Nwa const & source);
00009 
00010 
00011       /**
00012        *
00013        * @brief constructs a deterministic NWA that is equivalent to the given NWA.
00014        *
00015        * This method constructs a deterministic NWA that is equivalent to the given NWA.
00016        * Note: The resulting NWA is guaranteed to be deterministic.
00017        *
00018        * @param - nondet: the NWA to determinize
00019        * @param - stuck: dummy parameter
00020        * @return the NWA resulting from determinizing the given NWA
00021        *
00022        */
00023       extern NwaRefPtr determinize( Nwa const & nondet );
00024 
00025       
00026   }
00027 }
00028 
00029 
00030 // Yo, Emacs!
00031 // Local Variables:
00032 //   c-file-style: "ellemtel"
00033 //   c-basic-offset: 2
00034 // End:
00035