From a96b10e7668a9f73b40aed6af4fc322a6896e77d Mon Sep 17 00:00:00 2001
From: hansvrapi <hans.vrapi@rwth-aachen.de>
Date: Mon, 16 May 2022 09:33:18 +0200
Subject: [PATCH] rename directory
---
parameter_space_partitioning/README.md | 4 ++--
.../PLA_table.csv} | 0
.../alarm_pla_graph_2D.pdf | Bin 247764 -> 247764 bytes
.../alarm_pla_graph_3D.pdf | Bin 2346127 -> 2346127 bytes
.../pla_plot.pdf | Bin 48725 -> 48725 bytes
.../perform_parameter_space_partitioning.sh | 6 +++---
.../scripts/make_pla_table.py | 2 +-
7 files changed, 6 insertions(+), 6 deletions(-)
rename parameter_space_partitioning/{table.csv => generated_files/PLA_table.csv} (100%)
rename parameter_space_partitioning/{generated_plots => generated_files}/alarm_pla_graph_2D.pdf (99%)
rename parameter_space_partitioning/{generated_plots => generated_files}/alarm_pla_graph_3D.pdf (99%)
rename parameter_space_partitioning/{generated_plots => generated_files}/pla_plot.pdf (99%)
diff --git a/parameter_space_partitioning/README.md b/parameter_space_partitioning/README.md
index f8bca256..619f9546 100644
--- a/parameter_space_partitioning/README.md
+++ b/parameter_space_partitioning/README.md
@@ -23,8 +23,8 @@
## alarm-red-green-plots
- contains all data relevant to construct the 2D and 3D graphs for alarm
-## generated_plots
- - contains all the generated plots (also included in the paper)
+## generated_files
+ - contains all the generated plots (also included in the paper) and the PLA table for win95pts
## output
- contains the output data for the specific threshhold values (e.g. 0.3 for hailfinder)
diff --git a/parameter_space_partitioning/table.csv b/parameter_space_partitioning/generated_files/PLA_table.csv
similarity index 100%
rename from parameter_space_partitioning/table.csv
rename to parameter_space_partitioning/generated_files/PLA_table.csv
diff --git a/parameter_space_partitioning/generated_plots/alarm_pla_graph_2D.pdf b/parameter_space_partitioning/generated_files/alarm_pla_graph_2D.pdf
similarity index 99%
rename from parameter_space_partitioning/generated_plots/alarm_pla_graph_2D.pdf
rename to parameter_space_partitioning/generated_files/alarm_pla_graph_2D.pdf
index 4890ffc0245b8919bfc7c9f4e8db02e09ea2d858..df4900cf533ff5a7d58934ed21d5339e0825cfa6 100644
GIT binary patch
delta 109
zcmcc8&wr(#zoCV(g=q`(r6VjxCI*(%uN`5Q2eY>SJi=Vf<m_x<VD9AN;$&&zW@Kn$
gW@c$<Y~pO-=;rL?W@c(^;$o*@LrBT=?Z=sA0b5=lQ~&?~
delta 109
zcmcc8&wr(#zoCV(g=q`(r6VkcMkWT+uN`5Q2eY>SJi=Vf<m~2bZs2Te>0)ARU}|pc
gYH8x+Waw<@X5eV-WajE<;b^B|LrBT=?Z=sA0asZcRsaA1
diff --git a/parameter_space_partitioning/generated_plots/alarm_pla_graph_3D.pdf b/parameter_space_partitioning/generated_files/alarm_pla_graph_3D.pdf
similarity index 99%
rename from parameter_space_partitioning/generated_plots/alarm_pla_graph_3D.pdf
rename to parameter_space_partitioning/generated_files/alarm_pla_graph_3D.pdf
index 69e8a0708df2d1fa11416542eb6ad3fa2b4f9d40..7f313a8291f898dd9b7f5e4463598b57489286e0 100644
GIT binary patch
delta 206
zcmeC5+0O{V4K0i<OfAeUEG?`pY%T0994(wJTrJ!!JT1H}d@cMf0xg0qLM_5AA}yjV
zVlCn=5-pM~QZ3RgGA*(#axL;(6ejFZH!?Re*ETRxH!x7w<kI)ePjN{sNmbBru`)6+
zGBPkVG&8USDQVxnN1=WD9>w<Udz7|s-=kd4?`&%5V(jSV<ZNkfYH4h2VrbxGW^U|k
Y>0;z&VCn2+>SCv0LrBT=!ZXTp00i4RU;qFB
delta 206
zcmeC5+0O{V4K0i<OfAeUEG?`pY%T0994(wJTrJ!!JT1H}d@cMf0xg0qLM_5AA}yjV
zVlCn=5-pM~QZ3RgGA*(#axL;(6ejFZH#9Xd(>5?tH!x7w<kI)ePjN{sNmbBru`)6+
zGBPkVG&8USDQVxnN1=WD9>w<Udz7|s-=kd4?`+~|;A&)KYGPvOZ02lYVPR})YGQ0)
YWMSxNW^8O}W^AWmLrBT=!ZXTp0OAiiY5)KL
diff --git a/parameter_space_partitioning/generated_plots/pla_plot.pdf b/parameter_space_partitioning/generated_files/pla_plot.pdf
similarity index 99%
rename from parameter_space_partitioning/generated_plots/pla_plot.pdf
rename to parameter_space_partitioning/generated_files/pla_plot.pdf
index 2c024d21985cac9b6356ae7ff323ea8f9fe33df4..07cdedd1f3556d1bc1d4d3ca864ba5a0bd710684 100644
GIT binary patch
delta 100
zcmccmhw17crVUqiuo#(}7*4*iLmtf7{Cmf57H0z!H$!trV+%856H`}1BNrD_7h_{5
YXESF@0}E$k3uik88$wDZTkewq0L$GT4*&oF
delta 100
zcmccmhw17crVUqiuo#*d7)-vgLmtf7{Cmf57H3N*BPSO_69Y>(X9ELg7b8a#S5qS=
YBV%JTb5lbzb2mE$8$wDZTkewq0Lon*>i_@%
diff --git a/parameter_space_partitioning/perform_parameter_space_partitioning.sh b/parameter_space_partitioning/perform_parameter_space_partitioning.sh
index 8220227e..5296713a 100755
--- a/parameter_space_partitioning/perform_parameter_space_partitioning.sh
+++ b/parameter_space_partitioning/perform_parameter_space_partitioning.sh
@@ -5,7 +5,7 @@ flag=$1
#create 2D plot
python3 scripts/create_2D_graph.py $flag
-cd generated_plots
+cd generated_files
pdflatex --enable-write18 --extra-mem-top=100000000 --synctex=1 ../alarm-red-green-plots/2D/alarm_pla_graph_2D.tex
rm alarm_pla_graph_2D.aux
rm alarm_pla_graph_2D.log
@@ -14,7 +14,7 @@ cd ..
#create 3D plot
python3 scripts/create_3D_graph.py $flag
-cd generated_plots
+cd generated_files
pdflatex --enable-write18 --extra-mem-top=100000000 --synctex=1 ../alarm-red-green-plots/3D/alarm_pla_graph_3D.tex
rm alarm_pla_graph_3D.aux
rm alarm_pla_graph_3D.log
@@ -23,7 +23,7 @@ cd ..
#run experiments for the networks 'win95pts', 'hailfinder', 'hepar2'
python3 scripts/run_pla_experiments.py $flag
-cd generated_plots
+cd generated_files
pdflatex ../scripts/pla_plot.tex
rm pla_plot.aux
rm pla_plot.log
diff --git a/parameter_space_partitioning/scripts/make_pla_table.py b/parameter_space_partitioning/scripts/make_pla_table.py
index 83944ddc..b97e3b47 100644
--- a/parameter_space_partitioning/scripts/make_pla_table.py
+++ b/parameter_space_partitioning/scripts/make_pla_table.py
@@ -19,7 +19,7 @@ def make_pla_table():
mem = mem.replace('\n', '')
df = pd.DataFrame([[coverage, sat, unsat, unknown, regions, time, mem]],columns=['coverage','accepting(%)','rejecting(%)', 'unknown(%)', '#regions', 'time', 'mem'])
data = pd.concat([data,df],ignore_index=True)
- data.to_csv('table.csv', index=False)
+ data.to_csv('generated_files/PLA_table.csv', index=False)
print(data.tail(16))
if __name__ == "__main__":
--
GitLab