Esempi in C# (CSharp) per ShortLabel

Esempio n. 1

 public sealed override string GenerateBinaryTree()
 {
     return("node" + ID + " [ label = \"" + ShortLabel.ToString() + Variable + "." + "\" ]\n" +
            "node" + ID + " -- node" + Proposition.ID +
            "\n" +
            Proposition.GenerateBinaryTree());
 }

Esempio n. 2

File: FalseNode.cs Progetto: fabestine1/MyThing

 public override string ToPrefixString()
 {
     return(ShortLabel.ToString());
 }

Esempio n. 3

 public sealed override string ToPrefixString()
 {
     return(ShortLabel.ToString() + Variable + "." + "(" + Proposition.ToPrefixString() + ")");
 }