/// <summary>
/// Traverses the bitwise and expression.
/// </summary>
/// <param name="binaryOperation"></param>
public void Traverse(IBinaryOperation binaryOperation)
{
Contract.Requires(binaryOperation != null);
binaryOperation.Dispatch(this.dispatchingVisitor);
}
/// <summary>
/// Rewrites the given bitwise and expression.
/// </summary>
/// <param name="binaryOperation"></param>
public virtual IExpression Rewrite(IBinaryOperation binaryOperation)
{
binaryOperation.Dispatch(this.dispatchingVisitor);
return (IBinaryOperation)this.dispatchingVisitor.result;
}
