diff --git a/CG_Files/Employee_ABC/sync_dmca.xp b/CG_Files/Employee_ABC/sync_dmca.xp index cc9c41b..c678293 100644 --- a/CG_Files/Employee_ABC/sync_dmca.xp +++ b/CG_Files/Employee_ABC/sync_dmca.xp @@ -1,48 +1,20 @@ -uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)= +uninstall group exploit remove_all_B(b)= preconditions: - quality:torrent_prog_B,B_is_installed=true; - quality:illicit_sw_B_1,B_is_installed=true; - quality:illicit_sw_B_2,B_is_installed=true; - quality:illicit_sw_B_3,B_is_installed=true; - quality:illicit_sw_B_4,B_is_installed=true; + quality:b,B_is_installed=true; postconditions: - update quality:torrent_prog_B,B_is_installed=false; - update quality:illicit_sw_B_1,B_is_installed=false; - update quality:illicit_sw_B_2,B_is_installed=false; - update quality:illicit_sw_B_3,B_is_installed=false; - update quality:illicit_sw_B_4,B_is_installed=false; + update quality:b,B_is_installed=false; . -uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)= +uninstall group exploit remove_all_A(a)= preconditions: - quality:torrent_prog_A,A_is_installed=true; - quality:illicit_sw_A_1,A_is_installed=true; - quality:illicit_sw_A_2,A_is_installed=true; - quality:illicit_sw_A_3,A_is_installed=true; + quality:a,A_is_installed=true; postconditions: - update quality:torrent_prog_A,A_is_installed=false; - update quality:illicit_sw_A_1,A_is_installed=false; - update quality:illicit_sw_A_2,A_is_installed=false; - update quality:illicit_sw_A_3,A_is_installed=false; + update quality:a,A_is_installed=false; . -uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)= +uninstall group exploit remove_all_C(c)= preconditions: - quality:torrent_prog_C,C_is_installed=true; - quality:illicit_sw_C_1,C_is_installed=true; - quality:illicit_sw_C_2,C_is_installed=true; - quality:illicit_sw_C_3,C_is_installed=true; - quality:illicit_sw_C_4,C_is_installed=true; - quality:illicit_sw_C_5,C_is_installed=true; - quality:illicit_sw_C_6,C_is_installed=true; - quality:illicit_sw_C_7,C_is_installed=true; + quality:c,C_is_installed=true; postconditions: - update quality:torrent_prog_C,C_is_installed=false; - update quality:illicit_sw_C_1,C_is_installed=false; - update quality:illicit_sw_C_2,C_is_installed=false; - update quality:illicit_sw_C_3,C_is_installed=false; - update quality:illicit_sw_C_4,C_is_installed=false; - update quality:illicit_sw_C_5,C_is_installed=false; - update quality:illicit_sw_C_6,C_is_installed=false; - update quality:illicit_sw_C_7,C_is_installed=false; + update quality:c,C_is_installed=false; . diff --git a/CG_Files/Employee_AC/sync_dmca.xp b/CG_Files/Employee_AC/sync_dmca.xp index cbc0edd..800f118 100644 --- a/CG_Files/Employee_AC/sync_dmca.xp +++ b/CG_Files/Employee_AC/sync_dmca.xp @@ -1,34 +1,13 @@ -uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)= +uninstall group exploit remove_all_A(a)= preconditions: - quality:torrent_prog_C,C_is_installed=true; - quality:illicit_sw_C_1,C_is_installed=true; - quality:illicit_sw_C_2,C_is_installed=true; - quality:illicit_sw_C_3,C_is_installed=true; - quality:illicit_sw_C_4,C_is_installed=true; - quality:illicit_sw_C_5,C_is_installed=true; - quality:illicit_sw_C_6,C_is_installed=true; - quality:illicit_sw_C_7,C_is_installed=true; + quality:a,A_is_installed=true; postconditions: - update quality:torrent_prog_C,C_is_installed=false; - update quality:illicit_sw_C_1,C_is_installed=false; - update quality:illicit_sw_C_2,C_is_installed=false; - update quality:illicit_sw_C_3,C_is_installed=false; - update quality:illicit_sw_C_4,C_is_installed=false; - update quality:illicit_sw_C_5,C_is_installed=false; - update quality:illicit_sw_C_6,C_is_installed=false; - update quality:illicit_sw_C_7,C_is_installed=false; + update quality:a,A_is_installed=false; . -uninstall group exploit remove_all_A(torrent_prog_A,illicit_sw_A_1,illicit_sw_A_2,illicit_sw_A_3)= +uninstall group exploit remove_all_C(c)= preconditions: - quality:torrent_prog_A,A_is_installed=true; - quality:illicit_sw_A_1,A_is_installed=true; - quality:illicit_sw_A_2,A_is_installed=true; - quality:illicit_sw_A_3,A_is_installed=true; + quality:c,C_is_installed=true; postconditions: - update quality:torrent_prog_A,A_is_installed=false; - update quality:illicit_sw_A_1,A_is_installed=false; - update quality:illicit_sw_A_2,A_is_installed=false; - update quality:illicit_sw_A_3,A_is_installed=false; + update quality:c,C_is_installed=false; . - diff --git a/CG_Files/Employee_BC/sync_dmca.xp b/CG_Files/Employee_BC/sync_dmca.xp index 30601a3..d744d54 100644 --- a/CG_Files/Employee_BC/sync_dmca.xp +++ b/CG_Files/Employee_BC/sync_dmca.xp @@ -1,36 +1,13 @@ -uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)= +uninstall group exploit remove_all_B(b)= preconditions: - quality:torrent_prog_C,C_is_installed=true; - quality:illicit_sw_C_1,C_is_installed=true; - quality:illicit_sw_C_2,C_is_installed=true; - quality:illicit_sw_C_3,C_is_installed=true; - quality:illicit_sw_C_4,C_is_installed=true; - quality:illicit_sw_C_5,C_is_installed=true; - quality:illicit_sw_C_6,C_is_installed=true; - quality:illicit_sw_C_7,C_is_installed=true; + quality:b,B_is_installed=true; postconditions: - update quality:torrent_prog_C,C_is_installed=false; - update quality:illicit_sw_C_1,C_is_installed=false; - update quality:illicit_sw_C_2,C_is_installed=false; - update quality:illicit_sw_C_3,C_is_installed=false; - update quality:illicit_sw_C_4,C_is_installed=false; - update quality:illicit_sw_C_5,C_is_installed=false; - update quality:illicit_sw_C_6,C_is_installed=false; - update quality:illicit_sw_C_7,C_is_installed=false; + update quality:b,B_is_installed=false; . -uninstall group exploit remove_all_B(torrent_prog_B,illicit_sw_B_1,illicit_sw_B_2,illicit_sw_B_3,illicit_sw_B_4)= +uninstall group exploit remove_all_C(c)= preconditions: - quality:torrent_prog_B,B_is_installed=true; - quality:illicit_sw_B_1,B_is_installed=true; - quality:illicit_sw_B_2,B_is_installed=true; - quality:illicit_sw_B_3,B_is_installed=true; - quality:illicit_sw_B_4,B_is_installed=true; + quality:c,C_is_installed=true; postconditions: - update quality:torrent_prog_B,B_is_installed=false; - update quality:illicit_sw_B_1,B_is_installed=false; - update quality:illicit_sw_B_2,B_is_installed=false; - update quality:illicit_sw_B_3,B_is_installed=false; - update quality:illicit_sw_B_4,B_is_installed=false; + update quality:c,C_is_installed=false; . - diff --git a/CG_Files/Employee_C/sync_dmca.xp b/CG_Files/Employee_C/sync_dmca.xp index 1a9f759..0c6bd70 100644 --- a/CG_Files/Employee_C/sync_dmca.xp +++ b/CG_Files/Employee_C/sync_dmca.xp @@ -1,20 +1,6 @@ -uninstall group exploit remove_all_C(torrent_prog_C,illicit_sw_C_1,illicit_sw_C_2,illicit_sw_C_3,illicit_sw_C_4,illicit_sw_C_5,illicit_sw_C_6,illicit_sw_C_7)= +uninstall group exploit remove_all_C(c)= preconditions: - quality:torrent_prog_C,C_is_installed=true; - quality:illicit_sw_C_1,C_is_installed=true; - quality:illicit_sw_C_2,C_is_installed=true; - quality:illicit_sw_C_3,C_is_installed=true; - quality:illicit_sw_C_4,C_is_installed=true; - quality:illicit_sw_C_5,C_is_installed=true; - quality:illicit_sw_C_6,C_is_installed=true; - quality:illicit_sw_C_7,C_is_installed=true; + quality:c,C_is_installed=true; postconditions: - update quality:torrent_prog_C,C_is_installed=false; - update quality:illicit_sw_C_1,C_is_installed=false; - update quality:illicit_sw_C_2,C_is_installed=false; - update quality:illicit_sw_C_3,C_is_installed=false; - update quality:illicit_sw_C_4,C_is_installed=false; - update quality:illicit_sw_C_5,C_is_installed=false; - update quality:illicit_sw_C_6,C_is_installed=false; - update quality:illicit_sw_C_7,C_is_installed=false; + update quality:c,C_is_installed=false; .