ConstMatrixSumMinimizationTest.emam 385 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
/* (c) https://github.com/MontiCore/monticore */
package de.rwth.monticar.optimization;

component ConstMatrixSumMinimizationTest{

    ports out Q xOut,
          out Q yOut;

    implementation Math{
        minimize
            Q x;
        in
            Q y = sum([0, 0, x, 0]);
        subject to
            -1 <= x <= 1;
        end
        xOut = x;
        yOut = y;
    }
}