예제 #1
0
파일: FltVarExpr.cs 프로젝트: nofear/Mara 
        // v0 = v1 + v2
        public static FltVarExpr operator +( FltVarExpr lhs, FltVar rhs )
        {
            FltVarExpr expr		= new FltVarExprAdd( lhs.Var0, rhs );

            expr.AddExpr( lhs );

            return expr;
        }
예제 #2
0
        // v0 = v1 + v2
        public static FltVarExpr operator +(FltVarExpr lhs, FltVar rhs)
        {
            FltVarExpr expr = new FltVarExprAdd(lhs.Var0, rhs);

            expr.AddExpr(lhs);

            return(expr);
        }