Spaces:
Running
Running
Andrea Maldonado
commited on
Commit
·
c9ea140
1
Parent(s):
f4d370a
Adds header to frontend and logo
Browse files- gedi/utils/logo.png +0 -0
- utils/config_fabric.py +41 -4
gedi/utils/logo.png
ADDED
![]() |
utils/config_fabric.py
CHANGED
@@ -4,6 +4,7 @@ from itertools import product as cproduct
|
|
4 |
from itertools import combinations
|
5 |
from pathlib import Path
|
6 |
from pylab import *
|
|
|
7 |
import json
|
8 |
import math
|
9 |
import os
|
@@ -14,11 +15,46 @@ import time
|
|
14 |
|
15 |
st.set_page_config(layout='wide')
|
16 |
INPUT_XES="output/inputlog_temp.xes"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
17 |
|
18 |
-
"""
|
19 |
-
# Configuration File fabric for
|
20 |
-
## GEDI: **G**enerating **E**vent **D**ata with **I**ntentional Features for Benchmarking Process Mining
|
21 |
-
"""
|
22 |
def double_switch(label_left, label_right, third_label=None, fourth_label=None):
|
23 |
if third_label==None and fourth_label==None:
|
24 |
# Create two columns for the labels and toggle switch
|
@@ -235,6 +271,7 @@ def set_generator_experiments(generator_params):
|
|
235 |
return generator_params
|
236 |
|
237 |
if __name__ == '__main__':
|
|
|
238 |
config_layout = json.load(open("config_files/config_layout.json"))
|
239 |
type(config_layout)
|
240 |
step_candidates = ["instance_augmentation","event_logs_generation","feature_extraction","benchmark_test"]
|
|
|
4 |
from itertools import combinations
|
5 |
from pathlib import Path
|
6 |
from pylab import *
|
7 |
+
import base64
|
8 |
import json
|
9 |
import math
|
10 |
import os
|
|
|
15 |
|
16 |
st.set_page_config(layout='wide')
|
17 |
INPUT_XES="output/inputlog_temp.xes"
|
18 |
+
LOGO_PATH="gedi/utils/logo.png"
|
19 |
+
|
20 |
+
def get_base64_image(image_path):
|
21 |
+
with open(image_path, "rb") as image_file:
|
22 |
+
return base64.b64encode(image_file.read()).decode()
|
23 |
+
|
24 |
+
def play_header():
|
25 |
+
# Convert local image to base64
|
26 |
+
logo_base64 = get_base64_image(LOGO_PATH)
|
27 |
+
|
28 |
+
# HTML and CSS for placing the logo at the top left corner
|
29 |
+
head1, head2 = st.columns([1,8])
|
30 |
+
head1.markdown(
|
31 |
+
f"""
|
32 |
+
<style>
|
33 |
+
.header-logo {{
|
34 |
+
display: flex;
|
35 |
+
align-items: center;
|
36 |
+
justify-content: flex-start;
|
37 |
+
}}
|
38 |
+
.header-logo img {{
|
39 |
+
max-width: 120px; /* Adjust the size as needed */
|
40 |
+
height: auto;
|
41 |
+
}}
|
42 |
+
</style>
|
43 |
+
<div class="header-logo">
|
44 |
+
<img src="data:image/png;base64,{logo_base64}" alt="Logo">
|
45 |
+
</div>
|
46 |
+
""",
|
47 |
+
unsafe_allow_html=True
|
48 |
+
)
|
49 |
+
with head2:
|
50 |
+
"""
|
51 |
+
# interactive GEDI
|
52 |
+
"""
|
53 |
+
"""
|
54 |
+
## **G**enerating **E**vent **D**ata with **I**ntentional Features for Benchmarking Process Mining
|
55 |
+
"""
|
56 |
+
return
|
57 |
|
|
|
|
|
|
|
|
|
58 |
def double_switch(label_left, label_right, third_label=None, fourth_label=None):
|
59 |
if third_label==None and fourth_label==None:
|
60 |
# Create two columns for the labels and toggle switch
|
|
|
271 |
return generator_params
|
272 |
|
273 |
if __name__ == '__main__':
|
274 |
+
play_header()
|
275 |
config_layout = json.load(open("config_files/config_layout.json"))
|
276 |
type(config_layout)
|
277 |
step_candidates = ["instance_augmentation","event_logs_generation","feature_extraction","benchmark_test"]
|