public Expression VisitZenBitwiseNotExpr <T>(ZenBitwiseNotExpr <T> expression, ExpressionConverterEnvironment parameter) { return(LookupOrCompute(expression, () => { return BitwiseNot <T>(expression.Expr.Accept(this, parameter)); })); }
public ImmutableHashSet <object> VisitZenBitwiseNotExpr <T>(ZenBitwiseNotExpr <T> expression, Unit parameter) { return(LookupOrCompute(expression, () => { return expression.Expr.Accept(this, parameter); })); }
/// <summary> /// Visit a BitwiseNotExpr. /// </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> VisitZenBitwiseNotExpr <T1>(ZenBitwiseNotExpr <T1> expression, SymbolicEvaluationEnvironment <TModel, TVar, TBool, TInt> parameter) { return(LookupOrCompute(expression, () => { var v = (SymbolicInteger <TModel, TVar, TBool, TInt>)expression.Expr.Accept(this, parameter); return new SymbolicInteger <TModel, TVar, TBool, TInt>(this.Solver, this.Solver.BitwiseNot(v.Value)); })); }