Maude式を文字列に変換する方法はありますか？
Haskellに相当するものを探していshowます。
質問する
181 次
1 に答える
2
本当にクリーンな解決策はありません。式をメタタームに変換し、metaPrettyPrintを実行し、結果のQidを文字列に変換して連結することもできますが、スペースを挿入する場所などの字句の問題に対処する必要があります。
（Maudeメーリングリストから）
于 2012-06-08T15:19:00.320 に答える