VeSpA cases are added through this pull request

VeSpA-TestCases/LiteratureReviewCases/Constraint_UR_lrb1.csv

@@ -0,0 +1,6 @@
+User Requirement,Constraint List
+"[['f1', 'f4']]","[[1, 'v4'], [2,'v1', 'v9'], [2, 'v9', 'v13'], [1, 'v14'], [2, 'v4', 'v7'], [1, 'v7'], [2, 'v4', 'v2'], [1, 'v6'], [1, 'v12'], [1, 'v9'], [1, 'v13'], [1, 'v10'], [2, 'v13',  'v12']]"
+"[['f1', 'f4']]","[[1, 'v7'], [1, 'v12'], [2, 'v6', 'v8'], [2, 'v10', 'v11'], [2, 'v4', 'v7'], [1, 'v7'], [2, 'v4', 'v2'], [1, 'v6'], [1, 'v12'], [1, 'v9'], [1, 'v13'], [1, 'v10'], [2, 'v13',  'v12']]"
+"[['f1', 'f4']]","[[1, 'v9'], [2, 'v7', 'v4'], [1, 'v5'], [1, 'v2'], [1, 'v4'], [2,'v1', 'v9'], [2, 'v9', 'v13'], [1, 'v14'], [1, 'v7'], [2, 'v4', 'v2'], [1, 'v6'], [1, 'v12'], [1, 'v9'], [1, 'v13'], [1, 'v10'], [2, 'v13',  'v12']]"
+"[['f1', 'f4']]","[[1, 'v4'], [2, 'v2', 'v1'], [2, 'v3', 'v7'], [2, 'v4', 'v7'], [1, 'v7'], [2, 'v4', 'v2'], [1, 'v2'], [1, 'v12'], [1, 'v9'], [1, 'v13'], [1, 'v10'], [2, 'v13',  'v12']]"
+"[['f1', 'f4']]","[[1, 'v1'], [2, 'v13', 'v9'], [1, 'v4'], [2, 'v4', 'v7'], [1, 'v7'], [2, 'v4', 'v2'], [1, 'v6'], [1, 'v12'], [1, 'v9'], [1, 'v13'], [1, 'v10'], [2, 'v13',  'v12']]"

VeSpA-TestCases/LiteratureReviewCases/Constraint_UR_lrb2.csv

@@ -0,0 +1,6 @@
+User Requirement,Constraint List
+"[['f1', 'f4']]","[[1, 'v1'], [2,  'v2', 'v3'], [1, 'v6'], [1, 'v7']]"
+"[['f1', 'f4']]","[[2, 'v2', 'v1'], [2, 'v7', 'v6'], [1, 'v4'], [1, 'v6']]"
+"[['f2', 'f4']]","[[2, 'v2', 'v1'], [2, 'v7', 'v6'], [1, 'v4'], [1, 'v7']]"
+"[['f2', 'f4']]","[[2, 'v2', 'v1'], [2, 'v8', 'v6'], [1, 'v4'], [1, 'v6']]"
+"[['f2', 'f4']]","[[2, 'v2', 'v1'], [1, 'v7'], [1, 'v3']]"

VeSpA-TestCases/LiteratureReviewCases/Constraint_UR_lrb3.csv

@@ -0,0 +1,6 @@
+User Requirement,Constraint List
+"[['f1', 'f5']]","[[2, 'v2', 'v1'], [2, 'v8', 'v6'], [1, 'v4'], [1, 'v6'], [1, 'v18'], [2, 'v19', 'v20'], [2, 'v2', 'v3'], [2, 'v8', 'v6'], [1, 'v14'], [1, 'v17'], [1, 'v10'], [2, 'v19', 'v10']]"
+"[['f2', 'f5']]","[[2, 'v2', 'v1'], [2, 'v7', 'v6'], [1, 'v14'], [1, 'v7'], [2, 'v2', 'v4'], [2, 'v2', 'v3'], [2, 'v8', 'v6'], [1, 'v14'], [1, 'v17'], [1, 'v10'], [2, 'v19', 'v10']]"
+"[['f1', 'f7']]","[[1, 'v11'], [2, 'v2', 'v3'], [1, 'v14'], [2, 'v15', 'v16'], [2, 'v2', 'v3'], [2, 'v8', 'v6'], [1, 'v14'], [1, 'v17'], [1, 'v10'], [2, 'v19', 'v10']]"
+"[['f5', 'f9']]","[[2, 'v2', 'v1'], [2, 'v18', 'v6'], [1, 'v14'], [1, 'v16'], [2, 'v15', 'v13'], [2, 'v2', 'v3'], [2, 'v8', 'v6'], [1, 'v14'], [1, 'v17'], [1, 'v10'], [2, 'v19', 'v10']]"
+"[['f4', 'f6']]","[[1, 'v6'], [2, 'v2', 'v1'], [1, 'v13'], [2, 'v16', 'v17'], [1, 'v24'], [1, 'v16'], [2, 'v2', 'v11'], [1, 'v13'], [2, 'v21', 'v17'], [1, 'v21']]"

VeSpA-TestCases/LiteratureReviewCases/Constraint_UR_lrb4.csv

@@ -0,0 +1,6 @@
+User Requirement,Constraint List
+"[['f1', 'f10']]","[[2, 'v2', 'v1'], [2, 'v8', 'v6'], [1, 'v4'], [1, 'v6'], [1, 'v19'], [2, 'v66', 'v65'] , [2, 'v2', 'v58'], [1, 'v36'], [1, 'v39'], [1, 'v36'], [1, 'v37'], [1, 'v56'], [2, 'v2', 'v11'], [1, 'v15'], [1, 'v19'], [1, 'v46'], [1, 'v47'], [1, 'v55']]"
+"[['f2', 'f15']]","[[2, 'v2', 'v1'], [2, 'v7', 'v3'], [1, 'v14'], [2, 'v8', 'v4'], [2, 'v65', 'v45'], [1, 'v56'], [2, 'v2', 'v41'], [2, 'v42', 'v43'], [1, 'v44'], [2, 'v48', 'v4'], [2, 'v65', 'v57'], [1, 'v58']]"
+"[['f9', 'f10']]","[[1, 'co2'], [1, 'v24'], [1, 'v32'], [1,  'v49'], [1,'v41'], [1, 'co2'], [1, 'v34'], [1, 'v33'], [1,  'v44'], [1,'v42'], [2, 'v24', 'co2'], [1, 'co3'], [1, 'co4'], [2, 'co4', 'v34']]"
+"[['f5', 'fo41']]","[[2, 'v6', 'v11'], [2, 'v18', 'v6'], [1, 'v59'], [1, 'v16'], [2, 'co1', 'v11'], [2, 'v18', 'co2'], [1, 'co3'], [1, 'co4'], [2, 'co4', 'v11'], [2, 'v18', 'co3'], [1, 'co1'], [1, 'co2']]"
+"[['fo41', 'fo34']]","[[2, 'v2', 'v1'], [1, 'v45'], [1, 'v49'], [1, 'v26'], [1, 'v27'], [1, 'v58'], [2, 'v2', 'v58'], [1, 'v36'], [1, 'v39'], [1, 'v36'], [1, 'v37'], [1, 'v56'], [2, 'v2', 'v11'], [1, 'v15'], [1, 'v19'], [1, 'v46'], [1, 'v47'], [1, 'v55']]"

VeSpA-TestCases/LiteratureReviewCases/Constraint_UR_lrb5.csv

@@ -0,0 +1,11 @@
+User Requirement,Constraint List
+"[['f9', 'f10']]","[[2, 'v17', 'v5'], [2, 'v17', 'v13'], [2, 'v17', 'v14'], [2, 'v17', 'v21'], [1, 'v57'], [1, 'v58'], [1, 'v27'], [1, 'v59'], [1, 'v56'], [2, 'v1', 'v2'], [1, 'v60']]"
+"[['f5', 'fo41']]","[[1, 'v17'], [2, 'v7', 'v21'], [2, 'v21', 'v15'], [2, 'v16', 'v21'], [1, 'v54'], [1, 'v57'], [1, 'v58'], [1, 'v25'], [1, 'co2'], [1, 'v59'], [1, 'v56'], [2, 'v1', 'v2'], [1, 'v60']]"
+"[['fo41', 'f22']]","[[1, 'v17'], [2, 'v7', 'v21'], [2, 'v21', 'v15'], [2, 'v16', 'v21'], [1, 'v54'], [1, 'v58'], [1, 'v27'], [1, 'v59'], [1, 'v56'], [2, 'v1', 'v2'], [1, 'v60']]"
+"[['f9', 'f10']]","[[2, 'v17', 'v5'], [2, 'v17', 'v13'], [2, 'v17', 'v14'], [2, 'v17', 'v21'], [1, 'v57'], [1, 'v58'], [1, 'co2'], [1, 'v34'], [1, 'v33'], [1,  'v44'], [1,'v42'], [2, 'v24', 'co2'], [1, 'co3'], [1, 'co4'], [2, 'co4', 'v34']]"
+"[['f1', 'f21']]","[[2, 'v17', 'v5'], [2, 'v17', 'v13'], [2, 'v17', 'v14'], [2, 'v17', 'v21'], [1, 'v54'], [2, 'v57', 'v55'], [2, 'v56', 'v55'], [2, 'v17', 'v24'], [2, 'v17', 'v23'], [2, 'v6', 'v11'], [2, 'v17', 'v22'], [1, 'v56'], [2, 'v58', 'v55'], [2, 'v57', 'v55']]"
+"[['f10', 'f9']]","[[2, 'v17', 'v5'], [2, 'v17', 'v13'], [2, 'v17', 'v14'], [2, 'v17', 'v21'], [2, 'v57', 'v55'], [2, 'v58', 'v56'], [2, 'v56', 'v55'], [2, 'v58', 'v57'], [1, 'v27'], [1, 'co2'], [1, 'v34'], [1, 'v33'], [1,  'v44'], [1,'v42'], [2, 'v24', 'co2'], [1, 'co3'], [1, 'co4']]"
+"[['f1', 'f10']]","[[2, 'v17', 'v5'], [2, 'v17', 'v13'], [2, 'v17', 'v14'], [2, 'v17', 'v21'], [1, 'v54'], [1, 'v56'], [1, 'v57'], [1, 'v58'], [1, 'v59'], [2, 'v55', 'v56'],  [2, 'v1', 'v62'], [1, 'v60']]"
+"[['f1', 'f14']]","[[2, 'v17', 'v5'], [2, 'v17', 'v13'], [2, 'v17', 'v14'], [2, 'v17', 'v21'], [1, 'v54'],  [1, 'v56'], [1, 'v57'], [1, 'v58'], [1, 'v59'], [2, 'v55', 'v56'],  [2, 'v1', 'v62'], [1, 'v60']]"
+"[[['f1', 'f5'], 'f21']]","[[2, 'v17', 'v5'], [2, 'v17', 'v13'], [2, 'v17', 'v14'], [2, 'v17', 'v27'], [1, 'v54'], [1, 'v56'], [1, 'v57'], [1, 'v58'], [1, 'v59'], [2, 'v55', 'v56'],  [2, 'v1', 'v62'], [1, 'v60']]"
+"[['f21', 'f22']]","[[2, 'v17', 'v5'], [2, 'v17', 'v13'], [2, 'v17', 'v14'], [2, 'v17', 'v21'], [1, 'v54'], [1, 'v56'], [1, 'v58'], [1, 'v17'], [1, 'v59'], [1, 'v56'], [2, 'v1', 'v2'], [1, 'v60']]"

VeSpA-TestCases/LiteratureReviewCases/graph_info/lrb1_ValveLocation.txt

@@ -0,0 +1,14 @@
+v1 fo5 fo1
+v2 fo5 fo10
+v3 fo10 fo15
+v4 fo3 fo7
+v5 fo7 fo12
+v6 fo12 fo16
+v7 fo7 fo8
+v8 fo12 fo13
+v9 fo3 fo4
+v10 fo8 fo9
+v11 fo13 fo14
+v12 fo16 fo7
+v13 fo4 fo9
+v14 fo9 fo14

VeSpA-TestCases/LiteratureReviewCases/graph_info/lrb1_control.dot

@@ -0,0 +1,40 @@
+strict digraph  {
+c1;
+c2;
+c3;
+c4;
+c5;
+c6;
+c7;
+c8;
+c9;
+c10;
+v1;
+v2;
+v3;
+v4;
+v5;
+v6;
+v7;
+v8;
+v9;
+v10;
+v11;
+v12;
+v13;
+v14;
+v1 -> c1  [weight=1];
+v2 -> c2  [weight=1];
+v3 -> c3  [weight=1];
+v4 -> c6  [weight=1];
+v5 -> c5  [weight=1];
+v6 -> c4  [weight=1];
+v7 -> c6  [weight=1];
+v8 -> c4  [weight=1];
+v9 -> c7  [weight=1];
+v10 -> c7  [weight=1];
+v11 -> c9  [weight=1];
+v12 -> c10  [weight=1];
+v13 -> c7  [weight=1];
+v14 -> c8  [weight=1];
+}

VeSpA-TestCases/LiteratureReviewCases/graph_info/lrb1_flow.dot

@@ -0,0 +1,53 @@
+strict digraph  {
+f1;
+f2;
+f3;
+f4;
+f5;
+f6;
+fo1;
+fo2;
+fo3;
+fo4;
+fo5;
+fo6;
+fo7;
+fo8;
+fo9;
+fo10;
+fo11;
+fo12;
+fo13;
+fo14;
+fo15;
+fo16;
+fo17;
+f1 -> fo1  [weight=2];
+f2 -> fo5  [weight=2];
+f3 -> fo10  [weight=2];
+fo1 -> fo2  [weight=2];
+fo1 -> fo5  [weight=2];
+fo2 -> fo3  [weight=2];
+fo3 -> fo4  [weight=2];
+fo3 -> fo7  [weight=2];
+fo4 -> f6  [weight=2];
+fo4 -> fo9  [weight=2];
+fo5 -> fo6  [weight=2];
+fo5 -> fo10  [weight=2];
+fo6 -> fo7  [weight=2];
+fo7 -> fo8  [weight=2];
+fo7 -> fo12  [weight=2];
+fo8 -> fo9  [weight=2];
+fo9 -> fo14  [weight=2];
+fo10 -> fo11  [weight=2];
+fo11 -> fo12  [weight=2];
+fo12 -> fo13  [weight=2];
+fo13 -> fo14  [weight=2];
+fo14 -> f5  [weight=2];
+fo15 -> fo10  [weight=2];
+fo15 -> fo16  [weight=2];
+fo16 -> fo12  [weight=2];
+fo16 -> fo17  [weight=2];
+fo16 -> f4  [weight=2];
+fo17 -> fo14  [weight=2];
+}

VeSpA-TestCases/LiteratureReviewCases/graph_info/lrb2_ValveLocation.txt

@@ -0,0 +1,8 @@
+v1 f1 fo1
+v2 f2 fo4
+v3 f3 fo6
+v4 fo6 fo7
+v5 fo7 fo5
+v6 fo10 fo9
+v7 fo3 fo10
+v8 fo11 fo12

VeSpA-TestCases/LiteratureReviewCases/graph_info/lrb2_control.dot

@@ -0,0 +1,26 @@
+strict digraph  {
+c1;
+c2;
+c3;
+c4;
+c5;
+c6;
+c7;
+c8;
+v1;
+v2;
+v3;
+v4;
+v5;
+v6;
+v7;
+v8;
+v1 -> c1  [weight=1];
+v2 -> c2  [weight=1];
+v3 -> c3  [weight=1];
+v4 -> c4  [weight=1];
+v5 -> c5  [weight=1];
+v6 -> c6  [weight=1];
+v7 -> c7  [weight=1];
+v8 -> c8  [weight=1];
+}

VeSpA-TestCases/LiteratureReviewCases/graph_info/lrb2_flow.dot

@@ -0,0 +1,33 @@
+strict digraph  {
+f1;
+f2;
+f3;
+f4;
+fo1;
+fo2;
+fo3;
+fo4;
+fo5;
+fo6;
+fo7;
+fo8;
+fo9;
+fo10;
+fo11;
+fo12;
+f1 -> fo1  [weight=2];
+f2 -> fo4  [weight=2];
+f3 -> fo6  [weight=2];
+fo1 -> fo2  [weight=2];
+fo2 -> fo3  [weight=2];
+fo3 -> fo10  [weight=2];
+fo4 -> fo5  [weight=2];
+fo5 -> fo7  [weight=2];
+fo6 -> fo7  [weight=2];
+fo7 -> fo8  [weight=2];
+fo8 -> fo9  [weight=2];
+fo9 -> fo10  [weight=2];
+fo10 -> fo11  [weight=2];
+fo11 -> fo12  [weight=2];
+fo12 -> f4  [weight=2];
+}

VeSpA-TestCases/LiteratureReviewCases/graph_info/lrb3_ValveLocation.txt

@@ -0,0 +1,25 @@
+v1 f1 fo1
+v2 f1 fo1
+v3 f2 fo2
+v4 f2 fo2
+v5 f3 fo4
+v6 f3 fo4
+v7 f4 fo5
+v8 f4 fo5
+v9 f5 fo8
+v10 fo6 fo12
+v11 fo6 fo12
+v12 fo13 fo7
+v13 fo13 fo7
+v14 fo10 fo14
+v15 fo10 fo14
+v16 fo11 fo15
+v17 fo11 fo15
+v18 fo12 f6
+v19 f6 fo12
+v20 fo13 f7
+v21 fo13 f7
+v22 f8 fo14
+v23 f8 fo14
+v24 f9 fo15
+v25 f9 fo15

VeSpA-TestCases/LiteratureReviewCases/graph_info/lrb3_control.dot

@@ -0,0 +1,65 @@
+strict digraph  {
+c1;
+c2;
+c3;
+c4;
+c5;
+c6;
+c7;
+c8;
+c9;
+c10;
+c11;
+c12;
+c13;
+v1;
+v2;
+v3;
+v4;
+v5;
+v6;
+v7;
+v8;
+v9;
+v10;
+v11;
+v12;
+v13;
+v14;
+v15;
+v16;
+v17;
+v18;
+v19;
+v20;
+v21;
+v22;
+v23;
+v24;
+v25;
+v1 -> c1  [weight=1];
+v2 -> c8  [weight=1];
+v3 -> c1  [weight=1];
+v4 -> c2  [weight=1];
+v5 -> c7  [weight=1];
+v6 -> c8  [weight=1];
+v7 -> c7  [weight=1];
+v8 -> c2  [weight=1];
+v9 -> c13  [weight=1];
+v10 -> c3  [weight=1];
+v11 -> c4  [weight=1];
+v12 -> c3  [weight=1];
+v13 -> c10  [weight=1];
+v14 -> c9  [weight=1];
+v15 -> c4  [weight=1];
+v16 -> c9  [weight=1];
+v17 -> c10  [weight=1];
+v18 -> c5  [weight=1];
+v19 -> c6  [weight=1];
+v20 -> c5  [weight=1];
+v21 -> c12  [weight=1];
+v22 -> c11  [weight=1];
+v23 -> c6  [weight=1];
+v24 -> c11  [weight=1];
+v25 -> c12  [weight=1];
+}

VeSpA-TestCases/LiteratureReviewCases/graph_info/lrb3_flow.dot

@@ -0,0 +1,49 @@
+strict digraph  {
+f1;
+f2;
+f3;
+f4;
+f5;
+f6;
+f7;
+f8;
+f9;
+fo1;
+fo2;
+fo3;
+fo4;
+fo5;
+fo6;
+fo7;
+fo8;
+fo9;
+fo10;
+fo11;
+fo12;
+fo13;
+fo14;
+fo15;
+f1 -> fo1  [weight=2];
+f2 -> fo2  [weight=2];
+f3 -> fo4  [weight=2];
+f4 -> fo5  [weight=2];
+f5 -> fo8  [weight=2];
+f6 -> fo12  [weight=2];
+f7 -> fo13  [weight=2];
+f8 -> fo14  [weight=2];
+f9 -> fo15  [weight=2];
+fo2 -> fo1  [weight=2];
+fo3 -> fo2  [weight=2];
+fo3 -> fo4  [weight=2];
+fo3 -> fo8  [weight=2];
+fo4 -> fo5  [weight=2];
+fo6 -> fo7  [weight=2];
+fo6 -> fo12  [weight=2];
+fo8 -> fo9  [weight=2];
+fo9 -> fo7  [weight=2];
+fo10 -> fo9  [weight=2];
+fo10 -> fo14  [weight=2];
+fo11 -> fo10  [weight=2];
+fo11 -> fo15  [weight=2];
+fo13 -> fo7  [weight=2];
+}