📄 link.bif
字号:
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N36_d_f {
property label = "36.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable Z_36_d_m {
property label = "Z.36.d.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_36_d_f {
property label = "Z.36.d.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_36_a_x {
property label = "D0.36.a.x";
type discrete[2] { x, // "x"
y// "y"
};
}
variable N36_a_m {
property label = "36.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N36_a_f {
property label = "36.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable Z_36_a_m {
property label = "Z.36.a.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_36_a_f {
property label = "Z.36.a.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_37_d_p {
property label = "D0.37.d.p";
type discrete[2] { a, // "a"
n// "n"
};
}
variable N37_d_g {
property label = "37.d.g";
type discrete[3] { 1_1, // "1.1"
1_2, // "1.2"
2_2// "2.2"
};
}
variable N37_d_m {
property label = "37.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N37_d_f {
property label = "37.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable Z_37_d_m {
property label = "Z.37.d.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_37_d_f {
property label = "Z.37.d.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_37_a_x {
property label = "D0.37.a.x";
type discrete[2] { x, // "x"
y// "y"
};
}
variable N37_a_m {
property label = "37.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N37_a_f {
property label = "37.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable Z_37_a_m {
property label = "Z.37.a.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_37_a_f {
property label = "Z.37.a.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_38_d_p {
property label = "D0.38.d.p";
type discrete[2] { a, // "a"
n// "n"
};
}
variable N38_d_g {
property label = "38.d.g";
type discrete[3] { 1_1, // "1.1"
1_2, // "1.2"
2_2// "2.2"
};
}
variable N38_d_m {
property label = "38.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N38_d_f {
property label = "38.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable Z_38_d_m {
property label = "Z.38.d.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_38_d_f {
property label = "Z.38.d.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_38_a_x {
property label = "D0.38.a.x";
type discrete[2] { x, // "x"
y// "y"
};
}
variable N38_a_m {
property label = "38.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N38_a_f {
property label = "38.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable Z_38_a_m {
property label = "Z.38.a.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_38_a_f {
property label = "Z.38.a.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_17_d_p {
property label = "D0.17.d.p";
type discrete[2] { a, // "a"
n// "n"
};
}
variable N17_d_g {
property label = "17.d.g";
type discrete[3] { 1_1, // "1.1"
1_2, // "1.2"
2_2// "2.2"
};
}
variable Z_17_d_m {
property label = "Z.17.d.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N7_d_m {
property label = "7.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N7_d_f {
property label = "7.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable Z_17_d_f {
property label = "Z.17.d.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N12_d_m {
property label = "12.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N12_d_f {
property label = "12.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable D0_17_a_x {
property label = "D0.17.a.x";
type discrete[2] { x, // "x"
y// "y"
};
}
variable Z_17_a_m {
property label = "Z.17.a.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N7_a_m {
property label = "7.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N7_a_f {
property label = "7.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable Z_17_a_f {
property label = "Z.17.a.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N12_a_m {
property label = "12.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N12_a_f {
property label = "12.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable D0_39_d_p {
property label = "D0.39.d.p";
type discrete[2] { a, // "a"
n// "n"
};
}
variable N39_d_g {
property label = "39.d.g";
type discrete[3] { 1_1, // "1.1"
1_2, // "1.2"
2_2// "2.2"
};
}
variable N39_d_m {
property label = "39.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N39_d_f {
property label = "39.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable Z_39_d_m {
property label = "Z.39.d.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N20_d_m {
property label = "20.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N20_d_f {
property label = "20.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable Z_39_d_f {
property label = "Z.39.d.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N18_d_m {
property label = "18.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N18_d_f {
property label = "18.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable D0_39_a_m {
property label = "D0.39.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable Z_39_a_m {
property label = "Z.39.a.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N20_a_m {
property label = "20.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N20_a_f {
property label = "20.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable D1_39_a_m {
property label = "D1.39.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable D0_39_a_f {
property label = "D0.39.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable Z_39_a_f {
property label = "Z.39.a.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N18_a_m {
property label = "18.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N18_a_f {
property label = "18.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable D1_39_a_f {
property label = "D1.39.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable D0_40_d_p {
property label = "D0.40.d.p";
type discrete[2] { a, // "a"
n// "n"
};
}
variable N40_d_g {
property label = "40.d.g";
type discrete[3] { 1_1, // "1.1"
1_2, // "1.2"
2_2// "2.2"
};
}
variable N40_d_m {
property label = "40.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N40_d_f {
property label = "40.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable Z_40_d_m {
property label = "Z.40.d.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_40_d_f {
property label = "Z.40.d.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_40_a_x {
property label = "D0.40.a.x";
type discrete[2] { x, // "x"
y// "y"
};
}
variable N40_a_m {
property label = "40.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N40_a_f {
property label = "40.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable Z_40_a_m {
property label = "Z.40.a.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_40_a_f {
property label = "Z.40.a.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_18_d_p {
property label = "D0.18.d.p";
type discrete[2] { a, // "a"
n// "n"
};
}
variable N18_d_g {
property label = "18.d.g";
type discrete[3] { 1_1, // "1.1"
1_2, // "1.2"
2_2// "2.2"
};
}
variable Z_18_d_m {
property label = "Z.18.d.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_18_d_f {
property label = "Z.18.d.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_18_a_x {
property label = "D0.18.a.x";
type discrete[2] { x, // "x"
y// "y"
};
}
variable Z_18_a_m {
property label = "Z.18.a.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_18_a_f {
property label = "Z.18.a.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_7_d_p {
property label = "D0.7.d.p";
type discrete[2] { a, // "a"
n// "n"
};
}
variable N7_d_g {
property label = "7.d.g";
type discrete[3] { 1_1, // "1.1"
1_2, // "1.2"
2_2// "2.2"
};
}
variable Z_7_d_m {
property label = "Z.7.d.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_7_d_f {
property label = "Z.7.d.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_7_a_m {
property label = "Z.7.a.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable Z_7_a_f {
property label = "Z.7.a.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable D0_41_d_p {
property label = "D0.41.d.p";
type discrete[2] { a, // "a"
n// "n"
};
}
variable N41_d_g {
property label = "41.d.g";
type discrete[3] { 1_1, // "1.1"
1_2, // "1.2"
2_2// "2.2"
};
}
variable N41_d_m {
property label = "41.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N41_d_f {
property label = "41.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable Z_41_d_m {
property label = "Z.41.d.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N21_d_m {
property label = "21.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N21_d_f {
property label = "21.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable Z_41_d_f {
property label = "Z.41.d.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N22_d_m {
property label = "22.d.m";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable N22_d_f {
property label = "22.d.f";
type discrete[2] { 1, // "1"
2// "2"
};
}
variable D0_41_a_m {
property label = "D0.41.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable Z_41_a_m {
property label = "Z.41.a.m";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N21_a_m {
property label = "21.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N21_a_f {
property label = "21.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable D1_41_a_m {
property label = "D1.41.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable D0_41_a_f {
property label = "D0.41.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable Z_41_a_f {
property label = "Z.41.a.f";
type discrete[2] { f, // "f"
m// "m"
};
}
variable N22_a_m {
property label = "22.a.m";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable N22_a_f {
property label = "22.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable D1_41_a_f {
property label = "D1.41.a.f";
type discrete[4] { 1, // "1"
2, // "2"
3, // "3"
4// "4"
};
}
variable D0_42_d_p {
property label = "D0.42.d.p";
type discrete[2] { a, // "a"
n// "n"
};
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -