Echtzeitsysteme / gips

Graph-Based (M)ILP Problem Specification Tool
https://gips.dev
GNU General Public License v3.0
3 stars 1 forks source link

Objective: `$varExpr / 1000` generates doubled frac in generated code #91

Closed maxkratz closed 1 year ago

maxkratz commented 1 year ago
objective x -> class::xy {
    mappings.zz->filter(...)->sum() / 1.000.000
}

-> Can't reproduce for now.

maxkratz commented 1 year ago

Maybe this was based on a division in the local and the global objective, e.g.:

objective x -> class::xy {
    mapping...->sum(...) / 2
}

global objective : min {
    x / 3
}
maxkratz commented 1 year ago

Idea:

objective x -> class::xy {
    mapping...->sum(...) / 2
}

objective y -> class::zz {
    (self.$value + 3) / 5
}

global objective : min {
    (x + y) / 3
}
maxkratz commented 1 year ago

Idea:

objective x -> class::xy {
    mapping...->sum(...) / 2
}

objective y -> class::zz {
    (self.$value + 3) / 5
}

global objective : min {
    (x + y) / 3
}

Crashes the transformation, but does not generate a double division ...