public void doesItConsumePropsCorrectlySecondTest()
{
Proposition proposition = new Proposition(">(d,B)");
string expected_proposition = ">(d,B)";
Assert.AreEqual(expected_proposition, proposition.getPropositionASCIIFormat());
}
public void doesItConsumePropsCorrectlyWithNOTSecondTest()
{
Proposition proposition = new Proposition("~(|(~(>(a,b)),=(c,f)))");
string expected_proposition = "~(|(~(>(a,b)),=(c,f)))";
Assert.AreEqual(expected_proposition, proposition.getPropositionASCIIFormat());
}
public void doesItConsumePropsCorrectlyTest()
{
Proposition proposition = new Proposition("|(=(>(d,B),>(s,B)),=(>(c,B),>(s,g)))");
string expected_proposition = "|(=(>(d,B),>(s,B)),=(>(c,B),>(s,g)))";
Assert.AreEqual(expected_proposition, proposition.getPropositionASCIIFormat());
}
