public ImmutableHashSet <object> VisitZenBitwiseXorExpr <T>(ZenBitwiseXorExpr <T> expression, Unit parameter)
{
return(LookupOrCompute(expression, () =>
{
var x = expression.Expr1.Accept(this, parameter);
var y = expression.Expr2.Accept(this, parameter);
return x.Union(y);
}));
}
/// <summary>
/// Convert a 'BitwiseXor' expression.
/// </summary>
/// <param name="expression">The expression.</param>
/// <param name="parameter">The parameter.</param>
/// <returns>The compilable expression.</returns>
public Expression VisitZenBitwiseXorExpr <T>(ZenBitwiseXorExpr <T> expression, ExpressionConverterEnvironment parameter)
{
return(LookupOrCompute(expression, () =>
{
return BitwiseXor <T>(
expression.Expr1.Accept(this, parameter),
expression.Expr2.Accept(this, parameter));
}));
}
/// <summary>
/// Visit a BitwiseXorExpr.
/// </summary>
/// <param name="expression">The expression.</param>
/// <param name="parameter">The parameter.</param>
/// <returns>The resulting symbolic value.</returns>
public SymbolicValue <TModel, TVar, TBool, TInt> VisitZenBitwiseXorExpr <T1>(ZenBitwiseXorExpr <T1> expression, SymbolicEvaluationEnvironment <TModel, TVar, TBool, TInt> parameter)
{
return(LookupOrCompute(expression, () =>
{
var v1 = (SymbolicInteger <TModel, TVar, TBool, TInt>)expression.Expr1.Accept(this, parameter);
var v2 = (SymbolicInteger <TModel, TVar, TBool, TInt>)expression.Expr2.Accept(this, parameter);
return new SymbolicInteger <TModel, TVar, TBool, TInt>(this.Solver, this.Solver.BitwiseXor(v1.Value, v2.Value));
}));
}