コード例 #1
0
ファイル: Negation.cs プロジェクト: p-offtermatt/simbool
 internal override bool Is_DNF_Helper(bool seenNegation, bool seenDisjunction, bool seenConjunction)
 {
     if (seenNegation)
     {
         return(false);
     }
     return(InnerExpression.Is_DNF_Helper(true, seenDisjunction, seenConjunction));
 }