MinimizePortsTest.emam 242 Bytes
Newer Older
Christoph Richter's avatar
Christoph Richter committed
1
2
3
4
package test.emam.optimization;

component MinimizePortsTest{

Christoph Richter's avatar
Christoph Richter committed
5
6
    ports in Q u,
          out Q y;
Christoph Richter's avatar
Christoph Richter committed
7
8

    implementation Math{
Christoph Richter's avatar
Christoph Richter committed
9
        Q y1 = minimize(u)
Christoph Richter's avatar
Christoph Richter committed
10
11
12
13
14
15
            (u*u) - 2 * u + 1;
        subject to
            u >= 0;
        end
    }
}