wstring g=L"自动定理证明";
 wstring s=L"自动定理证明器";

 
 EditDistance editdistance(g,s);
 
 //int distancelen=editdistance.CalEditDistance();
 
 wcout.imbue(locale("chs"));
 set<string>words;
 editdistance.GetDictionary(words);
 OptimalInfo optimaloperations;
 int distancelen=editdistance.GetOptimal(optimaloperations);
 wcout<<L"待变字符串为: "<<s.c_str()<<endl;
 wcout<<L"目标字符串为: "<<g.c_str()<<endl;

posted on 2011-04-19 15:33  finallyly  阅读(506)  评论(0编辑  收藏  举报