public SimplifiedTruthTableForm(string originalFormula, AsciiTree asciiTree)
{
InitializeComponent();
_originalFormula = originalFormula;
_myTree = asciiTree;
ShowSimplifyTruthTable();
}
public MainForm()
{
InitializeComponent();
tbInput.MaxLength = int.MaxValue;
tbInput.ScrollBars = ScrollBars.Horizontal;
tbInput.WordWrap = false;
tbInput.Multiline = true;
tbDisjunctive.WordWrap = false;
tbDisjunctive.Multiline = true;
tbDisjunctive.ScrollBars = ScrollBars.Horizontal;
tbDisjunctiveSimplified.WordWrap = false;
tbDisjunctiveSimplified.Multiline = true;
tbDisjunctiveSimplified.ScrollBars = ScrollBars.Horizontal;
ttCheckBoxSimplifiedTruthTable.SetToolTip(cbSimplifiedTruthTable, "Check this to see the simplified truth table!\nUncheck to skip computing the simplified truth table!");
cbSimplifiedTruthTable.Checked = true;
btnViewTreeGraph.Enabled = false;
this.Text = "Ascii Formula Analyzer";
FormBorderStyle = FormBorderStyle.FixedSingle;
_myTree = AsciiTree.GetAsciiTree();
}
private void ResetForm()
{
_myTree = AsciiTree.GetAsciiTree();
tbInput.Clear();
tbVariables.Clear();
tbDisjunctive.Clear();
tbDisjunctiveSimplified.Clear();
tbNandifiedForm.Clear();
tbHexValue.Clear();
dgvTruthTable.Rows.Clear();
dgvTruthTable.Columns.Clear();
}