/// <summary>
/// Generates tableux based on the beforehand created tree
/// </summary>
public void GenerateTableux()
{
if (root == null)
{
return;
}
_tableux = new Tableux(root);
}
private void tableuxButton_Click(object sender, EventArgs e)
{
if (_mainUnit.Root == null)
{
return;
}
_mainUnit.GenerateTableux();
_mainUnit.GenerateGraphImage(graphPicture, _mainUnit.Tableux.Tree);
if (!Tableux.treeHasQuantifiers)
{
var result = Tableux.ValidateTautology(_mainUnit.Tableux.Tree);
outputTextbox.Text = result ? "Given tree is a tautology!" : "Given tree IS NOT a tautology!";
}
PrintOutDepthOfTree();
}
