Bug: Missing `PatternSumExpr` in branching in the `ObjectiveTemplate`

Echtzeitsysteme / gips

Graph-Based (M)ILP Problem Specification Tool

https://gips.dev

GNU General Public License v3.0

3 stars 1 forks source link

Closed maxkratz closed 11 months ago

maxkratz commented 11 months ago

This code snippet creates non-compilable (generated) code:

objective o -> mapping::move {
    patterns.findVnodeMapping
        ->filter(m | m.nodes().s == self.nodes().s1)
        ->count() * self.value()
}