MinimizePortsTest.emadl 259 Bytes
Newer Older
Bernhard Rumpe's avatar
BR-sy    
Bernhard Rumpe committed
1
/* (c) https://github.com/MontiCore/monticore */
Svetlana Pavlitskaya's avatar
Svetlana Pavlitskaya committed
2
3
4
5
6
7
8
9
10
11
12
13
component MinimizePortsTest{

    ports in Q u,
          out Q y;

    implementation Math{
        Q y1 = minimize(u)
            (u*u) - 2 * u + 1;
        subject to
            u >= 0;
        end
    }
Bernhard Rumpe's avatar
BR-sy    
Bernhard Rumpe committed
14
}