Subversion Repositories cryptosorter

=== Generated schedule for mkLevel1MergerInstance ===

Method schedule
---------------
Method: inStream_getTokInfo
Ready signal: True
Conflict-free: inStream_getTokInfo,
               inStream_putDeqTok,
               inStream_putRecord,
               getRecord
 
Method: inStream_putDeqTok
Ready signal: True
Conflict-free: inStream_getTokInfo, inStream_putRecord, getRecord
Conflicts: inStream_putDeqTok
 
Method: inStream_putRecord
Ready signal: True
Conflict-free: inStream_getTokInfo, inStream_putDeqTok, getRecord
Conflicts: inStream_putRecord
 
Method: getRecord
Ready signal: res_outQ.i_notEmpty
Conflict-free: inStream_getTokInfo, inStream_putDeqTok, inStream_putRecord
Conflicts: getRecord
 
Rule schedule
-------------
Rule: res_processPutRecord
Predicate: ((((! res_enqIdx.whas) || (! res_enqIdx.wget[1]))
             ? _
             : (! res_enqIdx.wget[0]))
            ? res_inQ.i_notFull
            : ((((! res_enqIdx.whas) || (! res_enqIdx.wget[1]))
                ? ! _
                : (! res_enqIdx.wget[0])) ||
               res_inQ_1.i_notFull)) &&
           res_enqIdx.whas && res_enqIdx.wget[1]
Blocking rules: (none)
 
Rule: res_compares
Predicate: res_inQ.i_notEmpty && res_outQ.i_notFull && res_inQ_1.i_notEmpty
Blocking rules: (none)
 
Rule: res_freeReg_updateReg
Predicate: True
Blocking rules: (none)
 
Logical execution order: getRecord,
                         inStream_putRecord,
                         inStream_putDeqTok,
                         inStream_getTokInfo,
                         res_compares,
                         res_processPutRecord,
                         res_freeReg_updateReg

======================================================