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