コード例 #1
0
ファイル: FltVarExpr.cs プロジェクト: ktp-forked-repos/Mara
        // v0 = v1 / v2
        public static FltVarExpr operator /(FltVarExpr lhs, FltVar rhs)
        {
            FltVarExpr expr = new FltVarExprDiv(lhs.Var0, rhs);

            expr.AddExpr(lhs);

            return(expr);
        }
コード例 #2
0
ファイル: FltVarExpr.cs プロジェクト: nofear/Mara
        // v0 = v1 / v2
        public static FltVarExpr operator /( FltVarExpr lhs, FltVar rhs )
        {
            FltVarExpr expr		= new FltVarExprDiv( lhs.Var0, rhs );

            expr.AddExpr( lhs );

            return expr;
        }