floor.fit

电梯的硬件描述语言设计

    OH14R2P30 : LORAX = "1:G56R2,PA4R2C11->LC6_C12|";
	LC1_C21 : LORAX2 = "X, LC5_C21, LC4_C21, LC6_C21";
	LC6_C22 : LORAX2 = "X, X, LC1_C20, LC1_C21";
	LC5_C22 : LORAX2 = "LC7_C22, LC1_C20, LC1_C21, LC4_C22";
	LC2_B13 : LORAX2 = "X, LC4_B13, LC8_B13, LC3_A14";
	LC3_B13 : LORAX2 = "LC2_B13, LC4_B13, LC6_B13, LC1_A21";
	LC7_B13 : LORAX2 = "LC2_B13, LC4_B13, LC6_B13, LC1_A21";
	LC2_A15 : LORAX2 = "X, X, LC4_B13, LC2_A23";
	LC3_A19 : LORAX2 = "LC3_B13, LC4_B13, LC1_A23, LC2_A23";
	LC2_B18 : LORAX2 = "LC1_B9, LC5_B2, LC3_A14, LC3_B2";
	LC4_B18 : LORAX2 = "LC2_B18, LC1_B9, LC1_A21, LC3_B18";
	LC1_B15 : LORAX2 = "LC1_B9, LC5_B2, LC3_A14, LC3_B2";
	LC2_A24 : LORAX2 = "X, LC1_A24, LC4_A24, LC3_A24";
	LC2_A9  : LORAX2 = "LC1_A1, LC6_A2, LC6_A9, LC5_A9";
	LC2_A1  : LORAX2 = "X, X, LC1_A1, LC6_A2";
	LC4_A9  : LORAX2 = "X, LC1_A1, LC6_A2, LC5_A9";
	LC1_A9  : LORAX2 = "LC1_A1, LC6_A2, LC6_A9, LC5_A9";
	LC2_A13 : LORAX2 = "X, X, LC7_A13, LC2_A9";
	LC3_A13 : LORAX2 = "X, LC7_A13, LC2_A9, LC1_A13";
	LC6_A23 : LORAX2 = "X, LC3_A14, LC2_A23, LC1_A21";
	LC1_A10 : LORAX2 = "X, X, LC3_A14, LC1_A21";
	LC1_A23 : LORAX2 = "LC1_A17, LC6_A23, LC5_A23, LC1_A23";
	LC2_A23 : LORAX2 = "LC1_A17, LC4_A23, LC3_A23, LC2_A23";
	LC1_A21 : LORAX2 = "LC1_A17, LC3_A18, LC3_A14, LC1_A21";
	LC3_A14 : LORAX2 = "X, LC1_A17, LC3_A18, LC3_A14";
	LC1_C4  : LORAX2 = "LC3_A1, LC1_C4, LC3_C22, LC6_C1";
	LC6_C4  : LORAX2 = "LC3_A1, LC6_C4, LC3_C22, LC3_C1";
	LC1_C24 : LORAX2 = "LC3_A1, LC1_C24, LC3_C22, LC4_C24";
	LC5_C4  : LORAX2 = "LC3_A1, LC5_C4, LC3_C22, LC3_C4";
	LC5_C2  : LORAX2 = "LC3_A1, LC5_C2, LC3_C22, LC3_C2";
	LC1_C2  : LORAX2 = "LC3_A1, LC1_C2, LC3_C22, LC4_C2";
	LC2_C3  : LORAX2 = "LC3_A1, LC2_C3, LC3_C22, LC6_C3";
	LC1_C3  : LORAX2 = "LC3_A1, LC1_C3, LC3_C22, LC5_C3";
	LC2_C24 : LORAX2 = "LC3_A1, LC2_C24, LC3_C22, LC5_C24";
	LC1_C16 : LORAX2 = "LC3_A1, LC1_C16, LC3_C22, LC4_C16";
	LC3_A20 : LORAX2 = "LC3_A20, LC3_C22, LC2_C22, LC7_A20";
	LC2_A20 : LORAX2 = "LC2_A20, LC3_C22, LC2_C22, LC7_A20";
	LC1_C22 : LORAX2 = "LC8_C22, LC5_C22, LC3_A20, LC1_C22";
	LC8_C22 : LORAX2 = "X, LC8_C22, LC5_C22, LC3_A20";
	LC4_C22 : LORAX2 = "LC7_C22, LC6_C22, LC3_A20, LC4_C22";
	LC7_C22 : LORAX2 = "LC7_C22, LC1_C20, LC1_C21, LC3_A20";
	LC1_C20 : LORAX2 = "X, LC1_C20, LC1_C21, LC3_A20";
	LC6_C21 : LORAX2 = "LC5_C21, LC4_C21, LC3_A20, LC6_C21";
	LC5_C21 : LORAX2 = "X, LC5_C21, LC4_C21, LC3_A20";
	LC4_C21 : LORAX2 = "X, X, LC4_C21, LC3_A20";
	LC1_B19 : LORAX2 = "LC1_B19, LC3_B16, LC1_B17, LC7_B17";
	LC3_B17 : LORAX2 = "LC3_B16, LC3_B17, LC1_B17, LC7_B17";
	LC2_A19 : LORAX2 = "LC3_A19, LC1_B13, LC4_A19, LC5_A19";
	LC1_A24 : LORAX2 = "LC2_A15, LC3_B13, LC1_B13, LC6_A24";
	LC3_A24 : LORAX2 = "LC7_B13, LC5_B18, LC1_B13, LC7_A24";
	LC4_A24 : LORAX2 = "LC5_B13, LC1_B13, LC8_A24, LC3_A14";
	LC1_A20 : LORAX2 = "LC1_A20, LC7_A20, LC1_B13, LC1_B18";
	LC1_A13 : LORAX2 = "LC3_A1, LC3_A13, LC4_A20, LC5_A22";
	LC7_A13 : LORAX2 = "LC3_A1, LC2_A13, LC4_A20, LC5_A22";
	LC6_A9  : LORAX2 = "LC3_A1, LC1_A9, LC4_A20, LC5_A22";
	LC5_A9  : LORAX2 = "LC3_A1, LC4_A9, LC4_A20, LC5_A22";
	LC1_A1  : LORAX2 = "LC3_A1, LC2_A1, LC4_A20, LC5_A22";
	LC6_A2  : LORAX2 = "LC3_A1, LC6_A2, LC4_A20, LC5_A22";
	LC1_B13 : LORAX2 = "X, X, LC4_B13, LC6_B13";
	LC1_B18 : LORAX2 = "X, X, LC1_B9, LC3_B18";
	LC6_A20 : LORAX2 = "LC1_A20, LC7_A13, LC2_A9, LC1_A13";
	LC4_A19 : LORAX2 = "LC4_B18, LC1_A23, LC2_A23, LC1_B18";
	LC5_A19 : LORAX2 = "LC2_A19, LC2_A24, LC6_A20, LC1_B18";
	LC5_A24 : LORAX2 = "LC1_A24, LC3_A24, LC4_A24, LC6_A20";
	LC6_A24 : LORAX2 = "LC5_A24, LC4_B18, LC2_A23, LC1_B18";
	LC5_B18 : LORAX2 = "LC2_B18, LC1_B9, LC3_B18, LC1_A21";
	LC7_A24 : LORAX2 = "LC4_A24, LC3_A24, LC6_A20, LC1_B18";
	LC8_A24 : LORAX2 = "LC4_A24, LC6_A20, LC1_B15, LC1_B18";
	LC5_A22 : LORAX2 = "LC2_A19, LC3_A20, LC2_A24, LC7_B17";
	LC1_C8  : LORAX2 = "X, X, LC2_C9, LC5_C11";
	LC3_C16 : LORAX2 = "LC1_C6, LC1_C13, LC1_C15, LC3_B17";
	LC2_C16 : LORAX2 = "LC3_C16, LC1_A10, LC1_A23, LC2_A23";
	LC3_C24 : LORAX2 = "LC1_C6, LC1_C13, LC1_C15, LC3_B17";
	LC3_C3  : LORAX2 = "X, X, LC1_C7, LC1_C19";
	LC4_C2  : LORAX2 = "LC5_C11, LC2_C9, LC1_C7, LC1_C19";
	LC3_C2  : LORAX2 = "X, LC2_C9, LC5_C11, LC1_C19";
	LC3_C4  : LORAX2 = "X, X, LC2_C9, LC5_C11";
	LC7_C1  : LORAX2 = "LC2_C9, LC5_C11, LC1_C7, LC1_C19";
	LC4_C1  : LORAX2 = "X, X, LC1_C6, LC7_C1";
	LC4_C24 : LORAX2 = "LC1_C13, LC1_C15, LC4_C1, LC3_B17";
	LC3_C1  : LORAX2 = "LC1_C6, LC1_C13, LC7_C1, LC3_B17";
	LC6_C1  : LORAX2 = "LC7_C1, LC3_C5, LC3_B17, LC3_A14";
	LC3_C22 : LORAX2 = "X, LC7_C22, LC8_C22, LC3_C21";
	LC2_C21 : LORAX2 = "X, LC1_C22, LC6_C21, LC4_C22";
	LC3_C21 : LORAX2 = "LC5_C21, LC1_C20, LC4_C21, LC2_C21";
	LC2_C22 : LORAX2 = "X, LC7_C22, LC8_C22, LC3_C21";
	LC1_A17 : LORAX2 = "LC7_A13, LC2_A9, LC1_A13, LC3_B17";
	LC3_A18 : LORAX2 = "LC7_A13, LC2_A9, LC1_A13, LC3_B17";
	LC5_A23 : LORAX2 = "LC3_A18, LC1_A10, LC1_A23, LC2_A23";
	LC4_A23 : LORAX2 = "X, LC3_A18, LC1_A10, LC2_A23";
	LC5_A20 : LORAX2 = "X, LC7_A13, LC3_A9, LC2_B11";
	LC7_A20 : LORAX2 = "LC2_A19, LC2_A24, LC1_A20, LC5_A20";
	LC7_A9  : LORAX2 = "X, LC5_A9, LC6_A9, LC1_A13";
	LC3_A9  : LORAX2 = "X, LC1_A1, LC6_A2, LC7_A9";
	LC8_A20 : LORAX2 = "LC2_A19, LC2_A24, LC1_A20, LC2_B11";
	LC4_A20 : LORAX2 = "LC7_A13, LC3_A9, LC8_A20, LC7_A20";
	LC1_B1  : LORAX2 = "LC5_B1, LC1_C1, LC3_A14, LC1_A21";
	LC6_B17 : LORAX2 = "LC1_B1, LC3_B17, LC1_B8, LC1_B13";
	LC8_B11 : LORAX2 = "LC3_B10, LC1_A5, LC6_B7, LC3_A8";
	LC1_B11 : LORAX2 = "X, LC8_B11, LC1_C1, LC2_A23";
	LC8_B17 : LORAX2 = "LC3_B17, LC2_B8, LC1_B13, LC2_A23";
	LC1_B17 : LORAX2 = "LC1_B11, LC8_B17, LC6_B17, LC1_A21";
	LC3_B16 : LORAX2 = "LC1_A23, LC1_B9, LC5_B2, LC3_B2";
	LC1_C6  : LORAX2 = "X, LC3_C5, LC3_B17, LC3_A14";
	LC1_C7  : LORAX2 = "LC1_A10, LC3_B17, LC1_A23, LC2_A23";
	LC1_C15 : LORAX2 = "X, LC1_A23, LC3_A23, LC2_A23";
	LC1_C19 : LORAX2 = "X, X, LC1_C15, LC3_B17";
	LC1_C13 : LORAX2 = "LC1_A23, LC3_A14, LC2_A23, LC1_A21";
	LC5_B1  : LORAX2 = "LC3_B10, LC1_A5, LC1_C1, LC2_A23";
	LC2_C9  : LORAX2 = "X, X, LC1_C13, LC3_B17";
	LC5_C11 : LORAX2 = "X, LC3_C5, LC3_B17, LC3_A14";
	LC4_C16 : LORAX2 = "LC1_C8, LC2_C16, LC1_C7, LC1_C19";
	LC5_C24 : LORAX2 = "LC3_C24, LC1_C8, LC1_C7, LC1_C19";
	LC4_C3  : LORAX2 = "LC1_C6, LC1_C13, LC3_C3, LC3_B17";
	LC5_C3  : LORAX2 = "X, X, LC5_C11, LC4_C3";
	LC6_C3  : LORAX2 = "LC1_C6, LC5_C11, LC2_C9, LC3_C3";
	LC7_B8  : LORAX2 = "X, X, LC2_B6, LC3_A8";
	LC8_B8  : LORAX2 = "X, X, LC1_A5, LC1_B3";
	LC3_B8  : LORAX2 = "X, X, LC7_A7, LC1_C1";
	LC7_B11 : LORAX2 = "LC8_B5, LC5_A6, LC3_A14, LC1_A21";
	LC6_B11 : LORAX2 = "X, LC3_A8, LC6_B7, LC1_A21";
	LC5_B11 : LORAX2 = "LC3_B10, LC1_A5, LC3_A14, LC1_A21";
	LC4_B11 : LORAX2 = "LC7_B11, LC6_B11, LC5_B11, LC3_A14";
	LC3_B11 : LORAX2 = "LC1_A10, LC4_B11, LC1_C1, LC2_A23";
	LC6_B8  : LORAX2 = "LC5_A6, LC7_B8, LC3_A14, LC1_A21";
	LC5_B8  : LORAX2 = "LC6_B8, LC8_B8, LC3_A14, LC1_A21";
	LC4_B8  : LORAX2 = "LC3_B8, LC1_A10, LC5_B8, LC2_A23";
	LC2_B11 : LORAX2 = "LC3_B11, LC4_B8, LC3_B17, LC1_A23";
	LC4_B1  : LORAX2 = "X, LC3_A8, LC6_B7, LC1_A21";
	LC3_B1  : LORAX2 = "LC1_C1, LC3_A14, LC2_A23, LC1_A21";
	LC2_B1  : LORAX2 = "LC3_B10, LC1_A5, LC3_B1, LC4_B1";
	LC6_B1  : LORAX2 = "LC1_A23, LC1_C1, LC2_A23, LC2_B1";
	LC1_B8  : LORAX2 = "LC5_A6, LC7_B8, LC3_A14, LC2_A23";
	LC2_B8  : LORAX2 = "LC5_A6, LC7_B8, LC8_B8, LC3_A14";
	LC2_B17 : LORAX2 = "LC2_B8, LC1_B8, LC2_A23, LC1_A21";
	LC4_B13 : LORAX2 = "X, X, LC7_A7, LC4_B17";
	LC3_A23 : LORAX2 = "X, X, LC3_A14, LC1_A21";
	LC8_B13 : LORAX2 = "X, LC1_B3, LC3_A23, LC4_B17";
	LC6_B13 : LORAX2 = "LC2_B6, LC8_B13, LC4_B17, LC1_A21";
	LC4_B17 : LORAX2 = "LC3_B17, LC1_A23, LC2_B17, LC2_A23";
	LC5_B13 : LORAX2 = "X, X, LC4_B13, LC8_B13";
	LC3_C5  : LORAX2 = "X, LC1_A23, LC2_A23, LC1_A21";
	LC2_B2  : LORAX2 = "X, X, LC3_B17, LC6_B1";
	LC1_B9  : LORAX2 = "LC8_B5, LC3_C5, LC3_B17, LC6_B1";
	LC3_B2  : LORAX2 = "LC1_B2, LC3_A23, LC6_B7, LC2_B2";
	LC1_B2  : LORAX2 = "X, X, LC1_A23, LC2_A23";
	LC5_B2  : LORAX2 = "LC3_B17, LC3_B10, LC1_B2, LC6_B1";
	LC3_B18 : LORAX2 = "X, X, LC5_B2, LC3_B2";
	LC7_B17 : LORAX2 = "LC3_B17, LC1_B13, LC6_B1, LC5_B17";
	LC5_B17 : LORAX2 = "X, LC1_A23, LC2_B17, LC1_B18";
	LC1_A19 : LORAX2 = "LC2_A20, LC3_A20, LC7_A13, LC3_A9";
	LC3_C12 : LORAX2 = "OH10R2P28, X, X, X";
	LC2_C12 : LORAX2 = "OH12R2P29, X, X, X";
	LC6_C12 : LORAX2 = "OH14R2P30, X, X, X";
	LC1_B6  : LORAX2 = "OV2C5P35, X, X, X";
	LC2_B3  : LORAX2 = "OV2C6P36, X, X, X";
	LC1_A7  : LORAX2 = "OV3C8P37, X, X, X";
	LC1_A6  : LORAX2 = "OV3C9P38, X, X, X";
	LC2_A8  : LORAX2 = "OV3C10P39, X, X, X";
	LC3_A5  : LORAX2 = "OV2C13P47, X, X, X";
	LC5_C1  : LORAX2 = "OV3C14P48, X, X, X";
	LC4_C4  : LORAX2 = "X, X, OV3C15P49, LC1_C4";
	LC7_C4  : LORAX2 = "X, X, OV3C15P49, LC6_C4";
	LC2_B19 : LORAX2 = "X, X, OV3C15P49, LC1_C24";
	LC2_C4  : LORAX2 = "X, X, OV3C15P49, LC5_C4";
	LC2_C2  : LORAX2 = "X, X, OV3C15P49, LC5_C2";
	LC2_A7  : LORAX2 = "X, X, OV3C15P49, LC1_C2";
	LC2_A6  : LORAX2 = "X, X, OV3C15P49, LC2_C3";
	LC1_A8  : LORAX2 = "X, X, OV3C15P49, LC1_C3";
	LC2_A5  : LORAX2 = "X, X, OV3C15P49, LC2_C24";
	LC2_C1  : LORAX2 = "X, X, OV3C15P49, LC1_C16";
	LC3_A1  : LORAX2 = "X, X, X, OV3C15P49";
END;