visualizer.pl的问题
visualizer.pl的问题
提问于 2021-08-19 16:31:18
我试图用visualizer.pl来可视化多状态系统的动态
我的函数文件：
f1 := x2
f2 := x1+x2*x3
f3 := x3^2+x1+x2+1我使用了以下命令，如“readme.txt”中提到的
perl visualizer.pl -p 1.txt 3 3自素数:=3和num_nodes：=3
但我有个错误
educ@educ-VirtualBox：~/Desktop/可视化器$ perl visualizer.pl -p 1.txt 3 3
在输入文件中发现错误。有关说明，见下文：
错误:函数1中函数声明的启动不正确。
输入file..ending程序在visualizer.pl第162行>第1行时出错。
状态空间可视化器1.0测试版
有关软件包的更多信息：
https://web.archive.org/web/20110815084457/http://dvd.vbi.vt.edu/tutorial.html
https://web.archive.org/web/20120320172453if_/http://dvd.vbi.vt.edu/visualizer.zip
回答 1
Stack Overflow用户
回答已采纳
发布于 2021-08-19 16:55:18
使用=分隔函数，并删除=周围的空格。因此，您的输入文件应该是：
f1=x2
f2=x1+x2*x3
f3=x3^2+x1+x2+1我知道它与readme不一致，但它与visualizer.pl的内容是一致的，而且它是有效的。
如果一旦完成，脚本visualizer.pl就会失败，因为：
sh: 1: k鬼影视图:未找到
您可以通过安装鬼影视图(Debian上的sudo apt install gv)和在visualizer.pl末尾用system("gv out.ps &");替换行system("kghostview out.ps &");来修复它。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/68851566
复制相关文章
相似问题
腾讯云开发者
