RS01128: SORTED SET REFERENCED BY ANOTHER SET FOR CONSISTENCY CHECKING COULD LEAD TO DATA CORRUPTION

Subscribe

You can track all active APARs for this component.

APAR status

  • Closed as fixed if next.

Error description

  • In example below, 'Arcs' as displayed in data view of problem
    browser is corrupted.
    
    tuple node {
       key int    level;
       key int    id;
    }
    sorted {node} Nodes = ...;
    
    tuple arc {
       key node fromnode;
       key node tonode;
       {string} features;
    }
    {arc} Arcs with fromnode in Nodes, tonode in Nodes = ...;
    execute { writeln("Arcs = ", Arcs); }
    subject to {}
    
    
    In example below, 'Originating_in_startNode1' is initialized
    incorrectly.
    
    tuple node {
       key int    level;
       key int    id;
    }
    sorted {node} Nodes = ...;
    node startNode = first(Nodes);
    
    tuple arc {
       key node fromnode;
       key node tonode;
       {string} features;
    }
    {arc} Arcs = ...;
    execute {   writeln("Arcs = ", Arcs); }
    
    tuple individualArc {
       key node     fromnode;
       key node     tonode;
       key string   feature;
    }
    {individualArc} IndividualArcs1 with fromnode in Nodes, tonode
    in Nodes
     = {< a.fromnode, a.tonode, f > | a in Arcs, f in a.features };
    {individualArc} Originating_in_startNode1
     = {a | a in IndividualArcs1 : a.fromnode == startNode };
    
    execute {
       writeln("IndividualArcs1 = ", IndividualArcs1);
       writeln("Originating_in_startNode1 = ",
    Originating_in_startNode1);
    }
    subject to {}
    

Local fix

  • creat a set that copies data from sorted set and use the new set
    for referencing as shown below:
    
    {node} Nodes2 = {n | n in Nodes};
    ...
    ...
    {arc} Arcs with fromnode in Nodes2, tonode in Nodes2 = ...;
    

Problem summary

  • This issue has been resolved and fix will be available with
    CPLEX Optimization Studio 12.5.0.1
    

Problem conclusion

Temporary fix

Comments

APAR Information

  • APAR number

    RS01128

  • Reported component name

    ILOG OPL-CPLEX-

  • Reported component ID

    5724Y5500

  • Reported release

    C40

  • Status

    CLOSED FIN

  • PE

    NoPE

  • HIPER

    NoHIPER

  • Special Attention

    NoSpecatt

  • Submitted date

    2012-10-10

  • Closed date

    2012-12-14

  • Last modified date

    2012-12-14

  • APAR is sysrouted FROM one or more of the following:

  • APAR is sysrouted TO one or more of the following:

Fix information

Applicable component levels

  • RC40 PSN

       UP



Rate this page:

(0 users)Average rating

Add comments

Document information


More support for:

IBM ILOG OPL-CPLEX Development Bundles

Software version:

C40

Reference #:

RS01128

Modified date:

2012-12-14

Translate my page

Machine Translation

Content navigation