Exemplos de MaraSolver.Float FltVarExprMul em C# (CSharp)

Exemplo n.º 1

Arquivo: FltVarExpr.cs Projeto: nofear/Mara

        // v0 = v1 * v2
        public static FltVarExpr operator *( FltVarExpr lhs, FltVar rhs )
        {
            FltVarExpr expr		= new FltVarExprMul( lhs.Var0, rhs );

            expr.AddExpr( lhs );

            return expr;
        }

Exemplo n.º 2

Arquivo: FltVarExpr.cs Projeto: ktp-forked-repos/Mara

        // v0 = v1 * v2
        public static FltVarExpr operator *(FltVarExpr lhs, FltVar rhs)
        {
            FltVarExpr expr = new FltVarExprMul(lhs.Var0, rhs);

            expr.AddExpr(lhs);

            return(expr);
        }