issues
search
mcifra
/
prieskumnik-struktur
Prieskumník sémantiky logiky prvého rádu
https://fmfi-uk-1-ain-412.github.io/structure-explorer/
1
stars
0
forks
source link
Stretnutie 6. 3.
#3
Closed
crnkjck
closed
6 years ago
crnkjck
commented
6 years ago
[x] Zabezpečiť aktualizáciu komponentov po zmene stavu, od ktorého závisia (napr. skontrolovanie syntaxe formúl pri zmene jazyka, skontrolovanie ich spĺňania pri zmene štruktúry). Možné riešenie:
[x] Pozrieť si
Redux
.
[x] Zistiť, či dokáže zabezpečiť, čo potrebujeme.
[x] Ak áno, refaktorovať súčasnú aplikáciu tak, aby používala Redux.
[x] Doména nemôže byť prázdna
[x] Ohodnotenie premenných zobrazovať ako samostatný panel. Ohodnotenie závisí od domény štruktúry, ale nie je súčasťou štruktúry.
Minulotýždňové todos