Module Main__.Pushout

val pushout : Main__.Vm.node_ref array -> Main__.Vm.node_ref list -> Generator.rhs_inst -> Main__.Vm.node_ref list

ルール右辺の命令を一回実行して，更新したアトムリストを返す

val pushouts : Main__.Vm.node_ref array -> Main__.Vm.node_ref list -> Generator.rhs_inst list -> Main__.Vm.node_ref list

ルール右辺の命令を実行する

  • アトムリストを受け取り，更新したアトムリストを返す