Beispiel #1
0
 internal FL(FAF formula, bool polarity)
     : base(formula, polarity)
 {
     faf = formula;
 }
Beispiel #2
0
 public int CompareTo(FAF other)
 {
     return(ToStringN().CompareTo(other.ToStringN()));
 }