📄 taxi_top.sim_ori.vwf
字号:
LEVEL 1 FOR 300.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 320.0;
NODE
{
REPEAT = 5;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
}
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 280.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 300.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 620.0;
NODE
{
REPEAT = 2;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 300.0;
}
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 155.0;
}
}
TRANSITION_LIST("seg7[2]")
{
NODE
{
REPEAT = 1;
LEVEL 1 FOR 225.0;
NODE
{
REPEAT = 2;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
}
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 460.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
NODE
{
REPEAT = 2;
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 120.0;
}
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 440.0;
NODE
{
REPEAT = 2;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
}
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 320.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
NODE
{
REPEAT = 2;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
}
NODE
{
REPEAT = 3;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
}
NODE
{
REPEAT = 3;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
}
NODE
{
REPEAT = 2;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
}
NODE
{
REPEAT = 2;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
}
NODE
{
REPEAT = 2;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
}
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 440.0;
NODE
{
REPEAT = 2;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
}
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 320.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
NODE
{
REPEAT = 2;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
}
NODE
{
REPEAT = 2;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
}
LEVEL 1 FOR 280.0;
NODE
{
REPEAT = 2;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
}
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 460.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
NODE
{
REPEAT = 2;
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 120.0;
}
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 15.0;
}
}
TRANSITION_LIST("seg7[1]")
{
NODE
{
REPEAT = 1;
LEVEL 1 FOR 225.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 780.0;
LEVEL 0 FOR 40.0;
NODE
{
REPEAT = 4;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
NODE
{
REPEAT = 2;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
}
}
NODE
{
REPEAT = 2;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
}
NODE
{
REPEAT = 3;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
}
LEVEL 1 FOR 280.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 780.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
NODE
{
REPEAT = 3;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 460.0;
}
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 320.0;
LEVEL 0 FOR 20.0;
NODE
{
REPEAT = 2;
LEVEL 1 FOR 120.0;
LEVEL 0 FOR 40.0;
}
NODE
{
REPEAT = 3;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
}
LEVEL 1 FOR 280.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 780.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 140.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 460.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 155.0;
}
}
TRANSITION_LIST("seg7[0]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 385.0;
NODE
{
REPEAT = 4;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 140.0;
}
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 300.0;
NODE
{
REPEAT = 2;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 140.0;
}
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 300.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 160.0;
LEVEL 1 FOR 20.0;
NODE
{
REPEAT = 3;
LEVEL 0 FOR 120.0;
LEVEL 1 FOR 40.0;
}
NODE
{
REPEAT = 2;
LEVEL 0 FOR 140.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 120.0;
LEVEL 1 FOR 40.0;
}
NODE
{
REPEAT = 4;
LEVEL 0 FOR 120.0;
LEVEL 1 FOR 40.0;
}
NODE
{
REPEAT = 2;
LEVEL 0 FOR 140.0;
LEVEL 1 FOR 20.0;
}
NODE
{
REPEAT = 5;
LEVEL 0 FOR 120.0;
LEVEL 1 FOR 40.0;
}
LEVEL 0 FOR 140.0;
LEVEL 1 FOR 20.0;
NODE
{
REPEAT = 3;
LEVEL 0 FOR 120.0;
LEVEL 1 FOR 40.0;
}
LEVEL 0 FOR 140.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 120.0;
LEVEL 1 FOR 40.0;
LEVEL 0 FOR 80.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 20.0;
NODE
{
REPEAT = 3;
LEVEL 0 FOR 80.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 40.0;
}
LEVEL 0 FOR 80.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 80.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 40.0;
LEVEL 0 FOR 80.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 140.0;
NODE
{
REPEAT = 5;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 100.0;
}
NODE
{
REPEAT = 2;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 80.0;
}
NODE
{
REPEAT = 5;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 40.0;
LEVEL 0 FOR 80.0;
}
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 20.0;
NODE
{
REPEAT = 3;
LEVEL 0 FOR 80.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 40.0;
}
LEVEL 0 FOR 80.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 40.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 80.0;
LEVEL 1 FOR 20.0;
LEVEL 0 FOR 20.0;
LEVEL 1 FOR 15.0;
}
}
TRANSITION_LIST("start")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 280.0;
LEVEL 1 FOR 200.0;
LEVEL 0 FOR 9520.0;
}
}
TRANSITION_LIST("stop")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("speedup[1]")
{
NODE
{
REPEAT = 1;
LEVEL 1 FOR 10000.0;
}
}
TRANSITION_LIST("speedup[0]")
{
NODE
{
REPEAT = 1;
LEVEL 1 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[12]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[11]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[10]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[9]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[8]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[7]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[6]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 6450.0;
LEVEL 1 FOR 3550.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[5]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 3250.0;
LEVEL 1 FOR 3200.0;
LEVEL 0 FOR 3200.0;
LEVEL 1 FOR 350.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[4]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 1650.0;
NODE
{
REPEAT = 2;
LEVEL 1 FOR 1600.0;
LEVEL 0 FOR 1600.0;
}
LEVEL 1 FOR 1600.0;
LEVEL 0 FOR 350.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[3]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 850.0;
NODE
{
REPEAT = 5;
LEVEL 1 FOR 800.0;
LEVEL 0 FOR 800.0;
}
LEVEL 1 FOR 800.0;
LEVEL 0 FOR 350.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[2]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 450.0;
NODE
{
REPEAT = 11;
LEVEL 1 FOR 400.0;
LEVEL 0 FOR 400.0;
}
LEVEL 1 FOR 400.0;
LEVEL 0 FOR 350.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[1]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 250.0;
NODE
{
REPEAT = 24;
LEVEL 1 FOR 200.0;
LEVEL 0 FOR 200.0;
}
LEVEL 1 FOR 150.0;
}
}
TRANSITION_LIST("taxi:inst|distance_reg[0]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 150.0;
NODE
{
REPEAT = 49;
LEVEL 1 FOR 100.0;
LEVEL 0 FOR 100.0;
}
LEVEL 1 FOR 50.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[12]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[11]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[10]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[9]")
{
NODE
{
REPEAT = 1;
LEVEL 1 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[8]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[7]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[6]")
{
NODE
{
REPEAT = 1;
LEVEL 1 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[5]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[4]")
{
NODE
{
REPEAT = 1;
LEVEL 1 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[3]")
{
NODE
{
REPEAT = 1;
LEVEL 1 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[2]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[1]")
{
NODE
{
REPEAT = 1;
LEVEL U FOR 10000.0;
}
}
TRANSITION_LIST("taxi:inst|money_reg[0]")
{
NODE
{
REPEAT = 1;
LEVEL U FOR 10000.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[12]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[11]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[10]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 10000.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[9]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 5115.0;
LEVEL 1 FOR 4885.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[8]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 2555.0;
LEVEL 1 FOR 2560.0;
LEVEL 0 FOR 4885.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[7]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 1275.0;
LEVEL 1 FOR 1280.0;
LEVEL 0 FOR 1280.0;
LEVEL 1 FOR 1280.0;
LEVEL 0 FOR 4885.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[6]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 635.0;
NODE
{
REPEAT = 4;
LEVEL 1 FOR 640.0;
LEVEL 0 FOR 640.0;
}
LEVEL 1 FOR 4245.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[5]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 315.0;
NODE
{
REPEAT = 8;
LEVEL 1 FOR 320.0;
LEVEL 0 FOR 320.0;
}
LEVEL 1 FOR 320.0;
LEVEL 0 FOR 4245.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[4]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 155.0;
NODE
{
REPEAT = 18;
LEVEL 1 FOR 160.0;
LEVEL 0 FOR 160.0;
}
LEVEL 1 FOR 4085.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[3]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 75.0;
NODE
{
REPEAT = 37;
LEVEL 1 FOR 80.0;
LEVEL 0 FOR 80.0;
}
LEVEL 1 FOR 4005.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[2]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 35.0;
NODE
{
REPEAT = 74;
LEVEL 1 FOR 40.0;
LEVEL 0 FOR 40.0;
}
LEVEL 1 FOR 40.0;
LEVEL 0 FOR 4005.0;
}
}
TRANSITION_LIST("decoder:inst1|comb1[1]")
{
NODE
{
REPEAT = 1;
LEVEL 0 FOR 15.0;
NODE
{
REPEAT = 149;
LEVEL 1 FOR 20.0;
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -