search

Echtzeitsysteme / gips

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

Feature request: possibility to specify constraints on multiple mappings/... at once #134

Open maxkratz opened 10 months ago

maxkratz commented 10 months ago

Currently, one has to specify the following constraints on two different mappings:

[...]
constraint -> mapping::srv2srv {
    self.value() <= self.variables().index
}
constraint -> mapping::sw2node {
    self.value() <= self.variables().index
}
[...]

A nice shortcut would be a possibility to specify these two constrains in one block:

[...]
constraint -> mapping::srv2srv, mapping::sw2node {
    self.value() <= self.variables().index
}
[...]