C# (CSharp) TruthTree2.FOL.Logic WFF.ToInputString примеры использования

Пример #1

 public override string ToInputString()
 {
     return(string.Format("(not {0})", inner.ToInputString()));
 }

Пример #2

Файл: Biconditional.cs Проект: Bram-Hub/CSharp-TT-APG

 public override string ToInputString()
 {
     return(string.Format("(iff {0} {1})", left.ToInputString(), right.ToInputString()));
 }

Пример #3

 public override string ToInputString()
 {
     return(string.Format("(if {0} {1})", antecedent.ToInputString(), consequent.ToInputString()));
 }