Known Problems

Bug:
  • Currently *all* parameters must be global (i.e. declared in the top level block). This should be fixed once SML understands data files.
Bug:
  • Variables that are defined over higher dimensional indexing sets must* have a dummy variable in their definition,i.e.
  set NODES; 
  set ARCS within NODES cross NODES;
  var sparecap{(i,j) in ARCS};

This is because SML needs to create a sum over all instances of the variables (at least for the dummy objective). Without the dummy variable (i,j) SML has no way of knowing that the set ARCS is 2-dimensional. This should be fixed once SML understands data files.

Bug:
  • In a stochastic block all entities *must* have different names, even if they are defined in different stages, i.e.
  subject to CashBalance stages (TIME diff {first(TIME)}): ...
  subject to CashBalance1 stages ({first(TIME)}):...

This can probably remedied by encoding the stages information in the internally used global name somehow.

Bug:
  • At the moment all blocks have to contain at least a variable, otherwise the following assertion is triggered:
  smloops: MatrixSparseSimple.c:122: NewSparseMatrix: Assertion `element_sz == 0' failed.