//---------- VARIABLES DECLARATION --------- decl track_0_Dean; decl track_0_DeptChair; decl track_0_Grad; decl track_0_President; decl track_0_Professor; decl track_0_Provost; decl track_0_Undergrad; decl track_0_target; decl track_0_SUPER_ROLE; decl track_1_Dean; decl track_1_DeptChair; decl track_1_Grad; decl track_1_President; decl track_1_Professor; decl track_1_Provost; decl track_1_Undergrad; decl track_1_target; decl track_1_SUPER_ROLE; decl track_2_Dean; decl track_2_DeptChair; decl track_2_Grad; decl track_2_President; decl track_2_Professor; decl track_2_Provost; decl track_2_Undergrad; decl track_2_target; decl track_2_SUPER_ROLE; decl track_3_Dean; decl track_3_DeptChair; decl track_3_Grad; decl track_3_President; decl track_3_Professor; decl track_3_Provost; decl track_3_Undergrad; decl track_3_target; decl track_3_SUPER_ROLE; decl track_4_Dean; decl track_4_DeptChair; decl track_4_Grad; decl track_4_President; decl track_4_Professor; decl track_4_Provost; decl track_4_Undergrad; decl track_4_target; decl track_4_SUPER_ROLE; decl b_0; decl b_1; decl b_2; decl b_3; decl b_4; //---------- BEGIN MAIN PROGRAM --------- void main() begin //---------- INITIALIZE VARIABLES --------- b_0 := 0; b_1 := 0; b_2 := 0; b_3 := 0; b_4 := 0; track_0_Dean := 0; track_0_DeptChair := 0; track_0_Grad := 0; track_0_President := 0; track_0_Professor := 0; track_0_Provost := 0; track_0_Undergrad := 0; track_0_target := 0; track_0_SUPER_ROLE := 0; track_1_Dean := 0; track_1_DeptChair := 0; track_1_Grad := 0; track_1_President := 0; track_1_Professor := 0; track_1_Provost := 0; track_1_Undergrad := 0; track_1_target := 0; track_1_SUPER_ROLE := 0; track_2_Dean := 0; track_2_DeptChair := 0; track_2_Grad := 0; track_2_President := 0; track_2_Professor := 0; track_2_Provost := 0; track_2_Undergrad := 0; track_2_target := 0; track_2_SUPER_ROLE := 0; track_3_Dean := 0; track_3_DeptChair := 0; track_3_Grad := 0; track_3_President := 0; track_3_Professor := 0; track_3_Provost := 0; track_3_Undergrad := 0; track_3_target := 0; track_3_SUPER_ROLE := 0; track_4_Dean := 0; track_4_DeptChair := 0; track_4_Grad := 0; track_4_President := 0; track_4_Professor := 0; track_4_Provost := 0; track_4_Undergrad := 0; track_4_target := 0; track_4_SUPER_ROLE := 0; //---------- CONFIGURATION_USERS --------- //Configuration of user0 if (*) then if (!b_0) then b_0 := 1; elsif (!b_1) then b_1 := 1; elsif (!b_2) then b_2 := 1; elsif (!b_3) then b_3 := 1; elsif (!b_4) then b_4 := 1; fi fi //Configuration of user1 if (*) then if (!b_0) then b_0 := 1; track_0_Dean := 1; track_0_Professor := 1; elsif (!b_1) then b_1 := 1; track_1_Dean := 1; track_1_Professor := 1; elsif (!b_2) then b_2 := 1; track_2_Dean := 1; track_2_Professor := 1; elsif (!b_3) then b_3 := 1; track_3_Dean := 1; track_3_Professor := 1; elsif (!b_4) then b_4 := 1; track_4_Dean := 1; track_4_Professor := 1; fi fi //Configuration of user2 if (*) then if (!b_0) then b_0 := 1; track_0_DeptChair := 1; track_0_Professor := 1; elsif (!b_1) then b_1 := 1; track_1_DeptChair := 1; track_1_Professor := 1; elsif (!b_2) then b_2 := 1; track_2_DeptChair := 1; track_2_Professor := 1; elsif (!b_3) then b_3 := 1; track_3_DeptChair := 1; track_3_Professor := 1; elsif (!b_4) then b_4 := 1; track_4_DeptChair := 1; track_4_Professor := 1; fi fi //Configuration of user3 if (*) then if (!b_0) then b_0 := 1; elsif (!b_1) then b_1 := 1; elsif (!b_2) then b_2 := 1; elsif (!b_3) then b_3 := 1; elsif (!b_4) then b_4 := 1; fi fi //Configuration of SUPER_USER if (*) then if (!b_0) then b_0 := 1; track_0_SUPER_ROLE := 1; elsif (!b_1) then b_1 := 1; track_1_SUPER_ROLE := 1; elsif (!b_2) then b_2 := 1; track_2_SUPER_ROLE := 1; elsif (!b_3) then b_3 := 1; track_3_SUPER_ROLE := 1; elsif (!b_4) then b_4 := 1; track_4_SUPER_ROLE := 1; fi fi //Configuration of user5 if (*) then if (!b_0) then b_0 := 1; elsif (!b_1) then b_1 := 1; elsif (!b_2) then b_2 := 1; elsif (!b_3) then b_3 := 1; elsif (!b_4) then b_4 := 1; fi fi //Configuration of user6 if (*) then if (!b_0) then b_0 := 1; track_0_Provost := 1; track_0_Professor := 1; elsif (!b_1) then b_1 := 1; track_1_Provost := 1; track_1_Professor := 1; elsif (!b_2) then b_2 := 1; track_2_Provost := 1; track_2_Professor := 1; elsif (!b_3) then b_3 := 1; track_3_Provost := 1; track_3_Professor := 1; elsif (!b_4) then b_4 := 1; track_4_Provost := 1; track_4_Professor := 1; fi fi //Configuration of user7 if (*) then if (!b_0) then b_0 := 1; elsif (!b_1) then b_1 := 1; elsif (!b_2) then b_2 := 1; elsif (!b_3) then b_3 := 1; elsif (!b_4) then b_4 := 1; fi fi //Configuration of user108 if (*) then if (!b_0) then b_0 := 1; track_0_Professor := 1; elsif (!b_1) then b_1 := 1; track_1_Professor := 1; elsif (!b_2) then b_2 := 1; track_2_Professor := 1; elsif (!b_3) then b_3 := 1; track_3_Professor := 1; elsif (!b_4) then b_4 := 1; track_4_Professor := 1; fi fi //Configuration of user109 if (*) then if (!b_0) then b_0 := 1; track_0_Professor := 1; elsif (!b_1) then b_1 := 1; track_1_Professor := 1; elsif (!b_2) then b_2 := 1; track_2_Professor := 1; elsif (!b_3) then b_3 := 1; track_3_Professor := 1; elsif (!b_4) then b_4 := 1; track_4_Professor := 1; fi fi //Configuration of user110 if (*) then if (!b_0) then b_0 := 1; track_0_Professor := 1; elsif (!b_1) then b_1 := 1; track_1_Professor := 1; elsif (!b_2) then b_2 := 1; track_2_Professor := 1; elsif (!b_3) then b_3 := 1; track_3_Professor := 1; elsif (!b_4) then b_4 := 1; track_4_Professor := 1; fi fi //Configuration of user111 if (*) then if (!b_0) then b_0 := 1; track_0_Professor := 1; elsif (!b_1) then b_1 := 1; track_1_Professor := 1; elsif (!b_2) then b_2 := 1; track_2_Professor := 1; elsif (!b_3) then b_3 := 1; track_3_Professor := 1; elsif (!b_4) then b_4 := 1; track_4_Professor := 1; fi fi //Configuration of user112 if (*) then if (!b_0) then b_0 := 1; track_0_Professor := 1; elsif (!b_1) then b_1 := 1; track_1_Professor := 1; elsif (!b_2) then b_2 := 1; track_2_Professor := 1; elsif (!b_3) then b_3 := 1; track_3_Professor := 1; elsif (!b_4) then b_4 := 1; track_4_Professor := 1; fi fi //Configuration of user228 if (*) then if (!b_0) then b_0 := 1; track_0_Undergrad := 1; elsif (!b_1) then b_1 := 1; track_1_Undergrad := 1; elsif (!b_2) then b_2 := 1; track_2_Undergrad := 1; elsif (!b_3) then b_3 := 1; track_3_Undergrad := 1; elsif (!b_4) then b_4 := 1; track_4_Undergrad := 1; fi fi //Configuration of user229 if (*) then if (!b_0) then b_0 := 1; track_0_Undergrad := 1; elsif (!b_1) then b_1 := 1; track_1_Undergrad := 1; elsif (!b_2) then b_2 := 1; track_2_Undergrad := 1; elsif (!b_3) then b_3 := 1; track_3_Undergrad := 1; elsif (!b_4) then b_4 := 1; track_4_Undergrad := 1; fi fi //Configuration of user230 if (*) then if (!b_0) then b_0 := 1; track_0_Undergrad := 1; elsif (!b_1) then b_1 := 1; track_1_Undergrad := 1; elsif (!b_2) then b_2 := 1; track_2_Undergrad := 1; elsif (!b_3) then b_3 := 1; track_3_Undergrad := 1; elsif (!b_4) then b_4 := 1; track_4_Undergrad := 1; fi fi //Configuration of user231 if (*) then if (!b_0) then b_0 := 1; track_0_Undergrad := 1; elsif (!b_1) then b_1 := 1; track_1_Undergrad := 1; elsif (!b_2) then b_2 := 1; track_2_Undergrad := 1; elsif (!b_3) then b_3 := 1; track_3_Undergrad := 1; elsif (!b_4) then b_4 := 1; track_4_Undergrad := 1; fi fi //Configuration of user232 if (*) then if (!b_0) then b_0 := 1; track_0_Undergrad := 1; elsif (!b_1) then b_1 := 1; track_1_Undergrad := 1; elsif (!b_2) then b_2 := 1; track_2_Undergrad := 1; elsif (!b_3) then b_3 := 1; track_3_Undergrad := 1; elsif (!b_4) then b_4 := 1; track_4_Undergrad := 1; fi fi //Configuration of user800 if (*) then if (!b_0) then b_0 := 1; track_0_Grad := 1; elsif (!b_1) then b_1 := 1; track_1_Grad := 1; elsif (!b_2) then b_2 := 1; track_2_Grad := 1; elsif (!b_3) then b_3 := 1; track_3_Grad := 1; elsif (!b_4) then b_4 := 1; track_4_Grad := 1; fi fi //Configuration of user801 if (*) then if (!b_0) then b_0 := 1; track_0_Grad := 1; elsif (!b_1) then b_1 := 1; track_1_Grad := 1; elsif (!b_2) then b_2 := 1; track_2_Grad := 1; elsif (!b_3) then b_3 := 1; track_3_Grad := 1; elsif (!b_4) then b_4 := 1; track_4_Grad := 1; fi fi //Configuration of user802 if (*) then if (!b_0) then b_0 := 1; track_0_Grad := 1; elsif (!b_1) then b_1 := 1; track_1_Grad := 1; elsif (!b_2) then b_2 := 1; track_2_Grad := 1; elsif (!b_3) then b_3 := 1; track_3_Grad := 1; elsif (!b_4) then b_4 := 1; track_4_Grad := 1; fi fi //Configuration of user803 if (*) then if (!b_0) then b_0 := 1; track_0_Grad := 1; elsif (!b_1) then b_1 := 1; track_1_Grad := 1; elsif (!b_2) then b_2 := 1; track_2_Grad := 1; elsif (!b_3) then b_3 := 1; track_3_Grad := 1; elsif (!b_4) then b_4 := 1; track_4_Grad := 1; fi fi //Configuration of user804 if (*) then if (!b_0) then b_0 := 1; track_0_Grad := 1; elsif (!b_1) then b_1 := 1; track_1_Grad := 1; elsif (!b_2) then b_2 := 1; track_2_Grad := 1; elsif (!b_3) then b_3 := 1; track_3_Grad := 1; elsif (!b_4) then b_4 := 1; track_4_Grad := 1; fi fi //---------- SIMULATION OF RULES --------- while ( 1 ) do //------------------ CAN_ASSIGN RULE NUMBER 0 ----------------- // //------------------------------------------------------------------ if (track_0_SUPER_ROLE | track_1_SUPER_ROLE | track_2_SUPER_ROLE | track_3_SUPER_ROLE | track_4_SUPER_ROLE) then if (*) then if (b_0 & track_0_Undergrad & track_0_Grad) then track_0_target := 1; fi fi if (*) then if (b_1 & track_1_Undergrad & track_1_Grad) then track_1_target := 1; fi fi if (*) then if (b_2 & track_2_Undergrad & track_2_Grad) then track_2_target := 1; fi fi if (*) then if (b_3 & track_3_Undergrad & track_3_Grad) then track_3_target := 1; fi fi if (*) then if (b_4 & track_4_Undergrad & track_4_Grad) then track_4_target := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 1 ----------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then if (b_0) then track_0_Professor := 1; fi fi if (*) then if (b_1) then track_1_Professor := 1; fi fi if (*) then if (b_2) then track_2_Professor := 1; fi fi if (*) then if (b_3) then track_3_Professor := 1; fi fi if (*) then if (b_4) then track_4_Professor := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 2 ----------------- // //------------------------------------------------------------------ if (track_0_SUPER_ROLE | track_1_SUPER_ROLE | track_2_SUPER_ROLE | track_3_SUPER_ROLE | track_4_SUPER_ROLE) then if (*) then if (b_0 & !track_0_Grad) then track_0_Undergrad := 1; fi fi if (*) then if (b_1 & !track_1_Grad) then track_1_Undergrad := 1; fi fi if (*) then if (b_2 & !track_2_Grad) then track_2_Undergrad := 1; fi fi if (*) then if (b_3 & !track_3_Grad) then track_3_Undergrad := 1; fi fi if (*) then if (b_4 & !track_4_Grad) then track_4_Undergrad := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 3 ----------------- // //------------------------------------------------------------------ if (track_0_SUPER_ROLE | track_1_SUPER_ROLE | track_2_SUPER_ROLE | track_3_SUPER_ROLE | track_4_SUPER_ROLE) then if (*) then if (b_0 & !track_0_Undergrad) then track_0_Grad := 1; fi fi if (*) then if (b_1 & !track_1_Undergrad) then track_1_Grad := 1; fi fi if (*) then if (b_2 & !track_2_Undergrad) then track_2_Grad := 1; fi fi if (*) then if (b_3 & !track_3_Undergrad) then track_3_Grad := 1; fi fi if (*) then if (b_4 & !track_4_Undergrad) then track_4_Grad := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 4 ----------------- // //------------------------------------------------------------------ if (track_0_Dean | track_1_Dean | track_2_Dean | track_3_Dean | track_4_Dean) then if (*) then if (b_0 & track_0_Professor & !track_0_Dean & !track_0_President & !track_0_Provost) then track_0_DeptChair := 1; fi fi if (*) then if (b_1 & track_1_Professor & !track_1_Dean & !track_1_President & !track_1_Provost) then track_1_DeptChair := 1; fi fi if (*) then if (b_2 & track_2_Professor & !track_2_Dean & !track_2_President & !track_2_Provost) then track_2_DeptChair := 1; fi fi if (*) then if (b_3 & track_3_Professor & !track_3_Dean & !track_3_President & !track_3_Provost) then track_3_DeptChair := 1; fi fi if (*) then if (b_4 & track_4_Professor & !track_4_Dean & !track_4_President & !track_4_Provost) then track_4_DeptChair := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 5 ----------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then if (b_0 & track_0_Professor & !track_0_Dean & !track_0_DeptChair & !track_0_President) then track_0_Provost := 1; fi fi if (*) then if (b_1 & track_1_Professor & !track_1_Dean & !track_1_DeptChair & !track_1_President) then track_1_Provost := 1; fi fi if (*) then if (b_2 & track_2_Professor & !track_2_Dean & !track_2_DeptChair & !track_2_President) then track_2_Provost := 1; fi fi if (*) then if (b_3 & track_3_Professor & !track_3_Dean & !track_3_DeptChair & !track_3_President) then track_3_Provost := 1; fi fi if (*) then if (b_4 & track_4_Professor & !track_4_Dean & !track_4_DeptChair & !track_4_President) then track_4_Provost := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 6 ----------------- // //------------------------------------------------------------------ if (track_0_Provost | track_1_Provost | track_2_Provost | track_3_Provost | track_4_Provost) then if (*) then if (b_0 & track_0_Professor & !track_0_DeptChair & !track_0_President & !track_0_Provost) then track_0_Dean := 1; fi fi if (*) then if (b_1 & track_1_Professor & !track_1_DeptChair & !track_1_President & !track_1_Provost) then track_1_Dean := 1; fi fi if (*) then if (b_2 & track_2_Professor & !track_2_DeptChair & !track_2_President & !track_2_Provost) then track_2_Dean := 1; fi fi if (*) then if (b_3 & track_3_Professor & !track_3_DeptChair & !track_3_President & !track_3_Provost) then track_3_Dean := 1; fi fi if (*) then if (b_4 & track_4_Professor & !track_4_DeptChair & !track_4_President & !track_4_Provost) then track_4_Dean := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 7 ----------------- // //------------------------------------------------------------------ if (track_0_Provost | track_1_Provost | track_2_Provost | track_3_Provost | track_4_Provost) then if (*) then if (b_0 & !track_0_Grad) then track_0_Undergrad := 1; fi fi if (*) then if (b_1 & !track_1_Grad) then track_1_Undergrad := 1; fi fi if (*) then if (b_2 & !track_2_Grad) then track_2_Undergrad := 1; fi fi if (*) then if (b_3 & !track_3_Grad) then track_3_Undergrad := 1; fi fi if (*) then if (b_4 & !track_4_Grad) then track_4_Undergrad := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 8 ----------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then if (b_0 & !track_0_Grad) then track_0_Undergrad := 1; fi fi if (*) then if (b_1 & !track_1_Grad) then track_1_Undergrad := 1; fi fi if (*) then if (b_2 & !track_2_Grad) then track_2_Undergrad := 1; fi fi if (*) then if (b_3 & !track_3_Grad) then track_3_Undergrad := 1; fi fi if (*) then if (b_4 & !track_4_Grad) then track_4_Undergrad := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 9 ----------------- // //------------------------------------------------------------------ if (track_0_Provost | track_1_Provost | track_2_Provost | track_3_Provost | track_4_Provost) then if (*) then if (b_0 & track_0_Professor & !track_0_Dean & !track_0_President & !track_0_Provost) then track_0_DeptChair := 1; fi fi if (*) then if (b_1 & track_1_Professor & !track_1_Dean & !track_1_President & !track_1_Provost) then track_1_DeptChair := 1; fi fi if (*) then if (b_2 & track_2_Professor & !track_2_Dean & !track_2_President & !track_2_Provost) then track_2_DeptChair := 1; fi fi if (*) then if (b_3 & track_3_Professor & !track_3_Dean & !track_3_President & !track_3_Provost) then track_3_DeptChair := 1; fi fi if (*) then if (b_4 & track_4_Professor & !track_4_Dean & !track_4_President & !track_4_Provost) then track_4_DeptChair := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 10 ----------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then if (b_0 & track_0_Professor & !track_0_Dean & !track_0_President & !track_0_Provost) then track_0_DeptChair := 1; fi fi if (*) then if (b_1 & track_1_Professor & !track_1_Dean & !track_1_President & !track_1_Provost) then track_1_DeptChair := 1; fi fi if (*) then if (b_2 & track_2_Professor & !track_2_Dean & !track_2_President & !track_2_Provost) then track_2_DeptChair := 1; fi fi if (*) then if (b_3 & track_3_Professor & !track_3_Dean & !track_3_President & !track_3_Provost) then track_3_DeptChair := 1; fi fi if (*) then if (b_4 & track_4_Professor & !track_4_Dean & !track_4_President & !track_4_Provost) then track_4_DeptChair := 1; fi fi fi //------------------ CAN_ASSIGN RULE NUMBER 11 ----------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then if (b_0 & track_0_Professor & !track_0_DeptChair & !track_0_President & !track_0_Provost) then track_0_Dean := 1; fi fi if (*) then if (b_1 & track_1_Professor & !track_1_DeptChair & !track_1_President & !track_1_Provost) then track_1_Dean := 1; fi fi if (*) then if (b_2 & track_2_Professor & !track_2_DeptChair & !track_2_President & !track_2_Provost) then track_2_Dean := 1; fi fi if (*) then if (b_3 & track_3_Professor & !track_3_DeptChair & !track_3_President & !track_3_Provost) then track_3_Dean := 1; fi fi if (*) then if (b_4 & track_4_Professor & !track_4_DeptChair & !track_4_President & !track_4_Provost) then track_4_Dean := 1; fi fi fi //------------------- CAN_REVOKE RULE NUMBER 0 --------------------- // //------------------------------------------------------------------ if (track_0_Dean | track_1_Dean | track_2_Dean | track_3_Dean | track_4_Dean) then if (*) then track_0_Undergrad := 0; fi if (*) then track_1_Undergrad := 0; fi if (*) then track_2_Undergrad := 0; fi if (*) then track_3_Undergrad := 0; fi if (*) then track_4_Undergrad := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 1 --------------------- // //------------------------------------------------------------------ if (track_0_Dean | track_1_Dean | track_2_Dean | track_3_Dean | track_4_Dean) then if (*) then track_0_Grad := 0; fi if (*) then track_1_Grad := 0; fi if (*) then track_2_Grad := 0; fi if (*) then track_3_Grad := 0; fi if (*) then track_4_Grad := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 2 --------------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then track_0_Professor := 0; fi if (*) then track_1_Professor := 0; fi if (*) then track_2_Professor := 0; fi if (*) then track_3_Professor := 0; fi if (*) then track_4_Professor := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 3 --------------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then track_0_Provost := 0; fi if (*) then track_1_Provost := 0; fi if (*) then track_2_Provost := 0; fi if (*) then track_3_Provost := 0; fi if (*) then track_4_Provost := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 4 --------------------- // //------------------------------------------------------------------ if (track_0_Provost | track_1_Provost | track_2_Provost | track_3_Provost | track_4_Provost) then if (*) then track_0_Dean := 0; fi if (*) then track_1_Dean := 0; fi if (*) then track_2_Dean := 0; fi if (*) then track_3_Dean := 0; fi if (*) then track_4_Dean := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 5 --------------------- // //------------------------------------------------------------------ if (track_0_Dean | track_1_Dean | track_2_Dean | track_3_Dean | track_4_Dean) then if (*) then track_0_DeptChair := 0; fi if (*) then track_1_DeptChair := 0; fi if (*) then track_2_DeptChair := 0; fi if (*) then track_3_DeptChair := 0; fi if (*) then track_4_DeptChair := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 6 --------------------- // //------------------------------------------------------------------ if (track_0_Provost | track_1_Provost | track_2_Provost | track_3_Provost | track_4_Provost) then if (*) then track_0_Undergrad := 0; fi if (*) then track_1_Undergrad := 0; fi if (*) then track_2_Undergrad := 0; fi if (*) then track_3_Undergrad := 0; fi if (*) then track_4_Undergrad := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 7 --------------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then track_0_Undergrad := 0; fi if (*) then track_1_Undergrad := 0; fi if (*) then track_2_Undergrad := 0; fi if (*) then track_3_Undergrad := 0; fi if (*) then track_4_Undergrad := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 8 --------------------- // //------------------------------------------------------------------ if (track_0_Provost | track_1_Provost | track_2_Provost | track_3_Provost | track_4_Provost) then if (*) then track_0_Grad := 0; fi if (*) then track_1_Grad := 0; fi if (*) then track_2_Grad := 0; fi if (*) then track_3_Grad := 0; fi if (*) then track_4_Grad := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 9 --------------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then track_0_Grad := 0; fi if (*) then track_1_Grad := 0; fi if (*) then track_2_Grad := 0; fi if (*) then track_3_Grad := 0; fi if (*) then track_4_Grad := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 10 --------------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then track_0_Dean := 0; fi if (*) then track_1_Dean := 0; fi if (*) then track_2_Dean := 0; fi if (*) then track_3_Dean := 0; fi if (*) then track_4_Dean := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 11 --------------------- // //------------------------------------------------------------------ if (track_0_Provost | track_1_Provost | track_2_Provost | track_3_Provost | track_4_Provost) then if (*) then track_0_DeptChair := 0; fi if (*) then track_1_DeptChair := 0; fi if (*) then track_2_DeptChair := 0; fi if (*) then track_3_DeptChair := 0; fi if (*) then track_4_DeptChair := 0; fi fi //------------------- CAN_REVOKE RULE NUMBER 12 --------------------- // //------------------------------------------------------------------ if (track_0_President | track_1_President | track_2_President | track_3_President | track_4_President) then if (*) then track_0_DeptChair := 0; fi if (*) then track_1_DeptChair := 0; fi if (*) then track_2_DeptChair := 0; fi if (*) then track_3_DeptChair := 0; fi if (*) then track_4_DeptChair := 0; fi fi //---------------Error------------ if (track_0_target | track_1_target | track_2_target | track_3_target | track_4_target) then SLIC_ERROR: skip; fi od end