From 3469d127f4a400205edf2663a33e53258f934be7 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 6 May 2004 20:59:21 +0000
Subject: [PATCH] Organizing

---
 .../oldfilesystem}/test.constraints           |   0
 .../MCC/{ => specs/oldfilesystem}/test.model  |   0
 .../MCC/{ => specs/oldfilesystem}/test.space  |   0
 .../MCC/{ => specs/oldfilesystem}/test.struct |   0
 .../oldfilesystem}/test2.constraints          |   0
 .../MCC/{ => specs/oldfilesystem}/test2.model |   0
 .../MCC/{ => specs/oldfilesystem}/test2.space |   0
 .../{ => specs/oldfilesystem}/test2.struct    |   0
 Repair/RepairCompiler/MCC/test2.model.dep     | 108 ------------------
 9 files changed, 108 deletions(-)
 rename Repair/RepairCompiler/MCC/{ => specs/oldfilesystem}/test.constraints (100%)
 rename Repair/RepairCompiler/MCC/{ => specs/oldfilesystem}/test.model (100%)
 rename Repair/RepairCompiler/MCC/{ => specs/oldfilesystem}/test.space (100%)
 rename Repair/RepairCompiler/MCC/{ => specs/oldfilesystem}/test.struct (100%)
 rename Repair/RepairCompiler/MCC/{ => specs/oldfilesystem}/test2.constraints (100%)
 rename Repair/RepairCompiler/MCC/{ => specs/oldfilesystem}/test2.model (100%)
 rename Repair/RepairCompiler/MCC/{ => specs/oldfilesystem}/test2.space (100%)
 rename Repair/RepairCompiler/MCC/{ => specs/oldfilesystem}/test2.struct (100%)
 delete mode 100755 Repair/RepairCompiler/MCC/test2.model.dep

diff --git a/Repair/RepairCompiler/MCC/test.constraints b/Repair/RepairCompiler/MCC/specs/oldfilesystem/test.constraints
similarity index 100%
rename from Repair/RepairCompiler/MCC/test.constraints
rename to Repair/RepairCompiler/MCC/specs/oldfilesystem/test.constraints
diff --git a/Repair/RepairCompiler/MCC/test.model b/Repair/RepairCompiler/MCC/specs/oldfilesystem/test.model
similarity index 100%
rename from Repair/RepairCompiler/MCC/test.model
rename to Repair/RepairCompiler/MCC/specs/oldfilesystem/test.model
diff --git a/Repair/RepairCompiler/MCC/test.space b/Repair/RepairCompiler/MCC/specs/oldfilesystem/test.space
similarity index 100%
rename from Repair/RepairCompiler/MCC/test.space
rename to Repair/RepairCompiler/MCC/specs/oldfilesystem/test.space
diff --git a/Repair/RepairCompiler/MCC/test.struct b/Repair/RepairCompiler/MCC/specs/oldfilesystem/test.struct
similarity index 100%
rename from Repair/RepairCompiler/MCC/test.struct
rename to Repair/RepairCompiler/MCC/specs/oldfilesystem/test.struct
diff --git a/Repair/RepairCompiler/MCC/test2.constraints b/Repair/RepairCompiler/MCC/specs/oldfilesystem/test2.constraints
similarity index 100%
rename from Repair/RepairCompiler/MCC/test2.constraints
rename to Repair/RepairCompiler/MCC/specs/oldfilesystem/test2.constraints
diff --git a/Repair/RepairCompiler/MCC/test2.model b/Repair/RepairCompiler/MCC/specs/oldfilesystem/test2.model
similarity index 100%
rename from Repair/RepairCompiler/MCC/test2.model
rename to Repair/RepairCompiler/MCC/specs/oldfilesystem/test2.model
diff --git a/Repair/RepairCompiler/MCC/test2.space b/Repair/RepairCompiler/MCC/specs/oldfilesystem/test2.space
similarity index 100%
rename from Repair/RepairCompiler/MCC/test2.space
rename to Repair/RepairCompiler/MCC/specs/oldfilesystem/test2.space
diff --git a/Repair/RepairCompiler/MCC/test2.struct b/Repair/RepairCompiler/MCC/specs/oldfilesystem/test2.struct
similarity index 100%
rename from Repair/RepairCompiler/MCC/test2.struct
rename to Repair/RepairCompiler/MCC/specs/oldfilesystem/test2.struct
diff --git a/Repair/RepairCompiler/MCC/test2.model.dep b/Repair/RepairCompiler/MCC/test2.model.dep
deleted file mode 100755
index 13befd7..0000000
--- a/Repair/RepairCompiler/MCC/test2.model.dep
+++ /dev/null
@@ -1,108 +0,0 @@
-// dependency information for 
-// testabstract from sEXT2
-
-1-6: none
-
-7: delayed 14
-8: delayed 1 2 3 4 5 11
-
- 9: 3     6
-10: 3     6   14
-11: 3     6   14
-12:   4
-13:   4
-14:         9
-15:         9
-16: 3     6   14
-17: 3     6   14
-18:     5
-19:     5
-
- 9: 3 6
-10: 3 6 14
-11: 3 6 14
-12: 4
-13: 4
-14: 9
-15: 9
-16: 3 6 14
-17: 3 6 14
-18: 5
-19: 5
- 
-
-algorithm:
-
-a. if quantifiers are empty than rule has no dependencies
-b. if not ( x in Set ) or relation than dependent on everything that
-   touches the Set or Relation (also known as delayed).
-c. otherwise, if set or relation mentioned in quantifier, edge between
-   that rule and any rule who modifies that set or relation (in the 
-   inclusion constraint portion of any rule)
-
-
-// dependency information betweeen constraints and rules
-
- 1:           6           12 13 14
- 2:             7         12 13
- 3: 1 2 3 4 5          11                   18 19
- 4:               8                         18 19
- 5:           6                 14 15 16
- 6:           6     10          14       17
- 7:                 10 11
- 8: 1
- 9:   2
-10:     3
-11:       4
-12:         5
-13:           6
-
- 1:  6 12 13 14
- 2:  7 12 13
- 3:  1  2  3  4  5 11 18 19
- 4:  8 18 19
- 5:  6 14 15 16
- 6:  6 10 14 17
- 7: 10 11
- 8:  1
- 9:  2
-10:  3 
-11:  4
-12:  5
-13:  6 
-
-
-algorithm:
-
-a. if quantifier mentions a set, include all rules that touch that set
-   or its subsets/partitions
-b. if the body mentions a set or relation, add that an edge to any rule
-   that touches those sets or relations
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-- 
2.34.1