public virtual Formula Visit(ExclusiveOrFormula formula) { Visit((BinaryFormula)formula); return visitor.Visit(formula); }
public Formula Visit(ExclusiveOrFormula formula) { return formula; }
public static void EvalExclusiveOr(BinaryExpression exp, ExpressionToFormulaState state) { EvalExpression(exp.Left, state); var left = state.CurrentBlock.Formulas.Pop(); EvalExpression(exp.Right, state); var right = state.CurrentBlock.Formulas.Pop(); var exclusiveOr = new ExclusiveOrFormula() { Left = left, Right = right }; state.CurrentBlock.Formulas.Push(exclusiveOr); }