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

Comparison with Boolean literals is currently not supported #133

Open maxkratz opened 9 months ago

maxkratz commented 9 months ago

Possibly related to https://github.com/Echtzeitsysteme/gips/issues/75

this

mapping n2n with mapVnode {
    var b : EBoolean
};

constraint -> mapping::n2n {
    self.variables().b == true
}

does produce an error:

Multiple markers at this line

  • Boolean expression does not evaluate to boolean.
  • no viable alternative at input 'true'