public Form1()
{
InitializeComponent();
_formulaGenerator = InfixFormulaGenerator.Calculator;
_tableaux = new Tableaux();
_graphImages = new Dictionary <int, string>();
_nandify = new Nandify();
}
public void InFixFormulaTesting_OnPredicateFormula_CorrectInfixFormula(string prefixInput, string infixOutput)
{
//Arrange
var formulaGenerator = new InfixFormulaGenerator();
var binaryTree = ParsingModule.Parse(prefixInput);
//Act
formulaGenerator.Calculate(binaryTree.Root);
//Assert
Assert.Equal(infixOutput, binaryTree.Root.InFixFormula);
}