public override Conjunct VisitImplication([NotNull] PropositionalLogicGrammarParser.ImplicationContext context) { var l = WalkLeft(context); var r = WalkRight(context); Debug.WriteLine("\nImplication: "); l.Print(); Debug.Write(" -> "); r.Print(); var notL = l.Negation(); return(notL.Disjunction(r)); }
/// <summary> /// Exit a parse tree produced by the <c>Implication</c> /// labeled alternative in <see cref="PropositionalLogicGrammarParser.expression"/>. /// <para>The default implementation does nothing.</para> /// </summary> /// <param name="context">The parse tree.</param> public virtual void ExitImplication([NotNull] PropositionalLogicGrammarParser.ImplicationContext context) { }
/// <summary> /// Visit a parse tree produced by the <c>Implication</c> /// labeled alternative in <see cref="PropositionalLogicGrammarParser.expression"/>. /// <para> /// The default implementation returns the result of calling <see cref="AbstractParseTreeVisitor{Result}.VisitChildren(IRuleNode)"/> /// on <paramref name="context"/>. /// </para> /// </summary> /// <param name="context">The parse tree.</param> /// <return>The visitor result.</return> public virtual Result VisitImplication([NotNull] PropositionalLogicGrammarParser.ImplicationContext context) { return(VisitChildren(context)); }