public Test()
{
translator = new Translator();
operators = new Dictionary<string, char>
{
{ "AND", '∧' },
{ "OR", '∨' },
{ "IMPLIES", '⇒' },
{ "EQUALS", '⇔' },
//{ "NOT", '¬' },
};
quantifiers = new Dictionary<string, char>
{
{ "FORALL", '∀' },
{ "EXISTS", '∃' },
};
variableNames = new List<string>
{
"a", "aa", "aaa",
};
constantNames = new List<string>
{
"A", "AA", "AAA",
};
functionNames = new List<string>
{
"A", "Aa", "Aaa",
};
}
public ActionResult Translate(string text)
{
ViewBag.text = text;
try
{
Translator t = new Translator();
t.translate(text);
ViewBag.steps = t.steps;
ViewBag.tree = t.toJson();
}
catch (Exception e)
{
Console.WriteLine(e);
ViewBag.steps = null;
ViewBag.tree = null;
ViewBag.error = "Błąd składni";
}
return View("Index");
}