Example #1
0
 public override string ToString()
 {
     return("(" + _fact1.ToString() + " || " + _fact2.ToString() + ")");
 }
Example #2
0
 public override string ToString()
 {
     return("~" + _fact.ToString());
 }
Example #3
0
 public override string ToString()
 {
     return("(" + _requirement.ToString() + " => " + _implication.ToString() + ")");
 }