Exemplo n.º 1
0
 public sealed override string GenerateBinaryTree()
 {
     return("node" + ID + " [ label = \"" + ShortLabel.ToString() + Variable + "." + "\" ]\n" +
            "node" + ID + " -- node" + Proposition.ID +
            "\n" +
            Proposition.GenerateBinaryTree());
 }
Exemplo n.º 2
0
 public override string ToPrefixString()
 {
     return(ShortLabel.ToString());
 }
Exemplo n.º 3
0
 public sealed override string ToPrefixString()
 {
     return(ShortLabel.ToString() + Variable + "." + "(" + Proposition.ToPrefixString() + ")");
 }