/// <summary> /// Visit a ConstantUshortExpr. /// </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> VisitZenConstantUshortExpr(ZenConstantUshortExpr expression, SymbolicEvaluationEnvironment <TModel, TVar, TBool, TInt> parameter) { return(LookupOrCompute(expression, () => { var bv = this.Solver.CreateShortConst((short)expression.Value); return new SymbolicInteger <TModel, TVar, TBool, TInt>(this.Solver, bv); })); }
public ImmutableHashSet <object> VisitZenConstantUshortExpr(ZenConstantUshortExpr expression, Unit parameter) { return(emptySet); }
public object VisitUshort() { return(ZenConstantUshortExpr.Create(0)); }
public Expression VisitZenConstantUshortExpr(ZenConstantUshortExpr expression, ExpressionConverterEnvironment parameter) { return(Expression.Constant(expression.Value)); }