关于 正在进行的项目！* 需要弯曲和野牛 用于表示Reo连接器的数据流的高级语言。 为用于模型检查目的的给定Reo模型的数据流生成smv“代码”。 指示 1.建筑 make or bison -d src/tdsrpl.y -b src/tdsrpl flex -o src/lex.yy.c src/tdsrpl.l gcc src/main.c src/tdsrpl.tab.c src/lex.yy.c src/datastructures/Node.c src/datastructur