public LogicNode ParseTest([PexAssumeUnderTest] LogicTree target, string parsestring)
{
LogicNode result = target.Parse(parsestring);
return(result);
// TODO: add assertions to method LogicTreeTest.ParseTest(LogicTree, String)
}
static void Main(string[] args)
{
// Adding a change..
const string MARKER = "-------------------";
LogicTree tree = new LogicTree();
Console.WriteLine(MARKER);
LogicNode root = tree.Parse("!p^q");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
Console.WriteLine(MARKER);
root = tree.Parse("p^qVr");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
Console.WriteLine(MARKER);
root = tree.Parse("p^(qVr)");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
Console.WriteLine(MARKER);
root = tree.Parse("p^!(qVr)");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
Console.WriteLine(MARKER);
root = tree.Parse("(p^q)Vr");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
Console.WriteLine(MARKER);
root = tree.Parse("p^(qVr)^s");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
Console.WriteLine(MARKER);
root = tree.Parse("(p^(qVr))");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
Console.WriteLine(MARKER);
root = tree.Parse("((p^q)Vr)");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
Console.WriteLine(MARKER);
root = tree.Parse("(!(p^(qVr)))");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
Console.WriteLine(MARKER);
root = tree.Parse("(p^(!(qVr)))");
Console.WriteLine("Node.ToString() == " + root.ToString() + "\r\n");
}
public void ComplexParsingTest()
{
LogicTree tree = new LogicTree();
string s = "((p^(qVr)))";
LogicNode root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
}
public void othertests()
{
LogicTree tree = new LogicTree();
string s = "p";
LogicNode root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "!p";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(!p)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "!(p)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "!p^q";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "p^qVr";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(!qVr)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "!(qVr)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "p^(qVr)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "p^!(qVr)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(p^q)Vr";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "p^(qVr)^s";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(p^(qVr))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "!(p^(qVr))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "((p^q)Vr)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(!(p^(qVr)))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(p^(!(qVr)))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
}
public void SimpleParsingTest()
{
LogicTree tree = new LogicTree();
string s = "p^q";
LogicNode root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "p^q";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "p^qVr";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "!p^r";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "pV!r";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "p^(qVr)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(p^q)Vr";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "!(p^!q)Vr";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(!p^!q)V!(!r^!s)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "p^(qVr)^s";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(p^(qV!r))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "((p^q)Vr)";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "!((p^q))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(p^!q)V(!(r^s))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(p^(!(qVr)))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "((p^q))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
s = "(!(p^q))";
root = tree.Parse(s);
Assert.AreEqual(s, root.ToString());
}
