/// <summary>
/// Visit a ConstantUlongExpr.
/// </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> VisitZenConstantUlongExpr(ZenConstantUlongExpr expression, SymbolicEvaluationEnvironment <TModel, TVar, TBool, TInt> parameter)
{
return(LookupOrCompute(expression, () =>
{
var bv = this.Solver.CreateLongConst((long)expression.Value);
return new SymbolicInteger <TModel, TVar, TBool, TInt>(this.Solver, bv);
}));
}
public ImmutableHashSet <object> VisitZenConstantUlongExpr(ZenConstantUlongExpr expression, Unit parameter)
{
return(emptySet);
}
public object VisitUlong()
{
return(ZenConstantUlongExpr.Create(0));
}
public Expression VisitZenConstantUlongExpr(ZenConstantUlongExpr expression, ExpressionConverterEnvironment parameter)
{
return(Expression.Constant(expression.Value));
}
