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()));
 }