C# (CSharp) AIMA.Core.Logic.Propositional.Parsing.Ast BinarySentence.isBiconditionalの例

isBiconditional() public method

public isBiconditional ( ) : bool
return	bool

コード例 #1

ファイル: CNFTransformer.cs プロジェクト: PaulMineau/AIMA.Net

 public override Object visitBinarySentence(BinarySentence bs, Object arg)
 {
     if (bs.isBiconditional())
     {
         return transformBiConditionalSentence(bs);
     }
     else if (bs.isImplication())
     {
         return transformImpliedSentence(bs);
     }
     else if (bs.isOrSentence()
           && (bs.firstTermIsAndSentence() || bs.secondTermIsAndSentence()))
     {
         return distributeOrOverAnd(bs);
     }
     else
     {
         return base.visitBinarySentence(bs, arg);
     }
 }