Dev

.gitignore

@@ -0,0 +1 @@
+node_modules/*

README.md

@@ -1,15 +1,9 @@
-Epistemic Logic Playground
+Epistemic Logic Playground(FORK for T4TL)
 ======================
-This project is based on the open-source <a href="http://rkirsling.github.io/modallogic/">Modal Logic Playground</a> by <a href="https://github.com/rkirsling">Ross Kirsling</a>.
-        The Epistemic Logic Playground was made by <a href="https://elliot.website">Elliot Evans</a>.
-        Special thanks to my non-classical logic instructors Richard Zach and Audrey Yap, as well
-        as my classmates who provided feedback on this project.
-
+This project is based on the open-source <a href="http://rkirsling.github.io/modallogic/">Epistemic Logic Playground</a> by <a href="https://github.com/vezwork/">Elliot vezwork
+</a> and <a href="http://rkirsling.github.io/modallogic/">Modal Logic Playground</a> by <a href="https://github.com/rkirsling">Ross Kirsling</a>.
 
 The Epistemic Logic Playground is a graphical semantic calculator for Dynamic Epistemic logic, built using [D3](http://d3js.org/), [MathJax](http://www.mathjax.org/), and [Bootstrap](http://getbootstrap.com/).
 
-See it in action at [vezwork.github.io/modallogic](https://vezwork.github.io/modallogic)!
+See it in action at [epistemicmodallogic](https://cagve.github.io/epistemicmodallogic/?model=;AS?formula=)
 
-### Reusable code
-* The core part of the code is MPL.js, a library for parsing and evaluating well-formed formulas of modal propositional logic. See the API Reference [here](API-Reference.md).
-* I've also extracted the directed graph editing code so that it can be easily repurposed. You can find it [here](http://bl.ocks.org/rkirsling/5001347).

\

@@ -0,0 +1,94 @@
+
+// When the button is clicked.
+document.getElementById('readFileButton').addEventListener('click', function() {
+    document.getElementById('fileInput').click();
+});
+
+// 
+document.getElementById('fileInput').addEventListener('change', function(event) {
+    const file = event.target.files[0]; // Obtiene el archivo seleccionado
+
+    if (file) {
+        const reader = new FileReader();
+
+        reader.onload = function(e) {
+			updateModel(e.target.result); //TODO parser
+        };
+
+        reader.onerror = function(e) {
+            console.error("Error al leer el archivo:", e.target.error);
+        };
+
+        reader.readAsText(file);
+    } else {
+        console.log("No se seleccionó ningún archivo.");
+    }
+});
+
+
+function addText(conector, element=null) {
+	var text = document.getElementById('formulaInput');
+
+	text.focus();
+	if (conector === "delete"){
+		text.value = '';
+		return;
+	}else{
+		text.value += conector;
+	}
+	if (element===null){
+		return
+	}
+	const className = element.className;
+
+	let styleScript = document.getElementById('button-style');
+	if (!styleScript) {
+		styleScript = document.createElement('style');
+		styleScript.id = 'button-style';  // Asigna el id
+		document.head.appendChild(styleScript);
+	}
+
+	switch(className){
+		case "atom-button":
+			hide = ["atom-button", "monadic-button", "modal-button", "agent-button"]
+			show = ["diadic-button"]
+			break;
+		case "monadic-button":
+			hide = ["diadic-button","agent-button"]
+			show = ["monadic-button", "atom-button", "modal-button"]
+			break;
+		case "modal-button":
+			hide = ["diadic-button"]
+			show = ["monadic-button", "atom-button", "modal-button"]
+			break;
+		case "group-button":
+			hide = ["monadic-button", "atom-button", "modal-button", "diadic-button"]
+			show = ["agent-button"]
+			break;
+		case "agent-button":
+			hide = ["diadic-button"]
+			show = ["agent-button", "monadic-button", "atom-button", "modal-button"]
+			break;
+		case "diadic-button":
+			hide = ["diadic-button"]
+			show = ["monadic-button", "atom-button", "modal-button"]
+			break;
+	}
+
+	styleScript.innerHTML = '';  // Elimina todas las reglas CSS previas
+	applyStyles(show, hide);
+}
+
+
+
+
+// Función para aplicar los estilos (mostrar/ocultar los botones)
+function applyStyles(show, hide) {
+  let styleScript = document.getElementById('button-style');
+  hide.forEach(clase => {
+    styleScript.innerHTML += `.${clase} { display:none; }`;
+  });
+  show.forEach(clase => {
+    styleScript.innerHTML += `.${clase} { display:inline; }`;
+  });
+}