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));
}));
}
