matroid_internal.h

Go to the documentation of this file.

#ifndef CMR_MATROID_DEC_INTERNAL_H
#define CMR_MATROID_DEC_INTERNAL_H
 
#include "densematrix.h"
 
#include <cmr/matroid.h>
#include <cmr/series_parallel.h>
 
 
#ifdef __cplusplus
extern "C" {
#endif
 
 
struct _CMR_MATROID_DEC
{
  size_t used;                                
  CMR_MATROID_DEC_TYPE type;                  
  bool isTernary;                             
  bool testedTwoConnected;                    
  int8_t regularity;                          
  int8_t graphicness;                         
  int8_t cographicness;                       
  bool testedR10;                             
  CMR_MATROID_DEC_THREESUM_FLAG threesumFlags;
  CMR_CHRMAT* matrix;                         
  CMR_CHRMAT* transpose;                      
  size_t numChildren;                         
  struct _CMR_MATROID_DEC** children;         
  CMR_ELEMENT** childRowsToParent;            
  CMR_ELEMENT** childColumnsToParent;         
  size_t numRows;                             
  size_t* rowsToChild;                          
  size_t numColumns;                          
  size_t* columnsToChild;                       
  CMR_GRAPH* graph;                           
  CMR_GRAPH_EDGE* graphForest;                
  CMR_GRAPH_EDGE* graphCoforest;              
  bool* graphArcsReversed;                    
  CMR_GRAPH* cograph;                         
  CMR_GRAPH_EDGE* cographForest;              
  CMR_GRAPH_EDGE* cographCoforest;            
  bool* cographArcsReversed;                  
  bool testedSeriesParallel;                  
  CMR_SP_REDUCTION* seriesParallelReductions; 
  size_t numSeriesParallelReductions;         
  size_t* pivotRows;                          
  size_t* pivotColumns;                       
  size_t numPivots;                           
  DenseBinaryMatrix* denseMatrix;             
  CMR_ELEMENT* denseRowsOriginal;             
  CMR_ELEMENT* denseColumnsOriginal;          
  size_t* nestedMinorsRowsDense;              
  size_t* nestedMinorsColumnsDense;           
  size_t nestedMinorsLength;                  
  size_t* nestedMinorsSequenceNumRows;        
  size_t* nestedMinorsSequenceNumColumns;     
  CMR_CHRMAT* nestedMinorsMatrix;             
  CMR_CHRMAT* nestedMinorsTranspose;          
  CMR_ELEMENT* nestedMinorsRowsOriginal;      
  CMR_ELEMENT* nestedMinorsColumnsOriginal;   
  size_t nestedMinorsLastGraphic;             
  size_t nestedMinorsLastCographic;           
};
 
char* CMRmatroiddecConsistency(
  CMR_MATROID_DEC* dec, 
  bool recurse          
);
 
CMR_EXPORT
CMR_ERROR CMRmatroiddecPrintChild(
  CMR* cmr,                 
  CMR_MATROID_DEC* child,   
  CMR_MATROID_DEC* parent,  
  size_t childIndex,        
  FILE* stream,             
  size_t indent,            
  bool printChildren,       
  bool printParentElements, 
  bool printMatrices,       
  bool printGraphs,         
  bool printReductions,     
  bool printPivots          
);
 
CMR_ERROR CMRmatroiddecSetNumChildren(
  CMR* cmr,             
  CMR_MATROID_DEC* dec, 
  size_t numChildren    
);
 
CMR_ERROR CMRmatroiddecUpdateOneSum(
  CMR* cmr,             
  CMR_MATROID_DEC* dec, 
  size_t numChildren    
);
 
CMR_ERROR CMRmatroiddecCreateChildFromMatrices(
  CMR* cmr,                     
  CMR_MATROID_DEC* parent,      
  size_t childIndex,            
  CMR_CHRMAT* matrix,           
  CMR_CHRMAT* transpose,        
  CMR_ELEMENT* rowsToParent,    
  CMR_ELEMENT* columnsToParent  
);
 
CMR_ERROR CMRmatroiddecUpdateSubmatrix(
  CMR* cmr,                 
  CMR_MATROID_DEC* dec,     
  CMR_SUBMAT* submatrix,    
  CMR_MATROID_DEC_TYPE type 
);
 
CMR_ERROR CMRmatroiddecUpdateTwoSum(
  CMR* cmr,             
  CMR_MATROID_DEC* dec, 
  CMR_SEPA* separation  
);
 
CMR_ERROR CMRmatroiddecUpdatePivots(
  CMR* cmr,             
  CMR_MATROID_DEC* dec, 
  size_t numPivots,     
  size_t* pivotRows,    
  size_t* pivotColumns, 
  CMR_CHRMAT* matrix,   
  CMR_CHRMAT* transpose 
);
 
CMR_ERROR CMRmatroiddecUpdateThreeSumInit(
  CMR* cmr,             
  CMR_MATROID_DEC* dec  
);
 
CMR_ERROR CMRmatroiddecUpdateThreeSumCreateWideFirstChild(
  CMR* cmr,                   
  CMR_MATROID_DEC* dec,       
  CMR_SEPA* separation,       
  size_t* rowsToChild,        
  size_t* columnsToChild,     
  size_t numChildBaseRows,    
  size_t numChildBaseColumns, 
  size_t extraRow,            
  size_t extraColumn1,        
  size_t extraColumn2,        
  int8_t extraEntry           
);
 
CMR_ERROR CMRmatroiddecUpdateThreeSumCreateWideSecondChild(
  CMR* cmr,                   
  CMR_MATROID_DEC* dec,       
  CMR_SEPA* separation,       
  size_t* rowsToChild,        
  size_t* columnsToChild,     
  size_t numChildBaseRows,    
  size_t numChildBaseColumns, 
  size_t extraRow,            
  size_t extraColumn1,        
  size_t extraColumn2,        
  int8_t extraEntry           
);
 
CMR_ERROR CMRmatroiddecUpdateThreeSumCreateMixedFirstChild(
  CMR* cmr,                   
  CMR_MATROID_DEC* dec,       
  CMR_SEPA* separation,       
  size_t* rowsToChild,        
  size_t* columnsToChild,     
  size_t numChildBaseRows,    
  size_t numChildBaseColumns, 
  size_t extraRow1,           
  size_t extraRow2,           
  int8_t extraEntry           
);
 
CMR_ERROR CMRmatroiddecUpdateThreeSumCreateMixedSecondChild(
  CMR* cmr,                   
  CMR_MATROID_DEC* dec,       
  CMR_SEPA* separation,       
  size_t* rowsToChild,        
  size_t* columnsToChild,     
  size_t numChildBaseRows,    
  size_t numChildBaseColumns, 
  size_t extraColumn1,        
  size_t extraColumn2,        
  int8_t extraEntry           
);
 
CMR_ERROR CMRmatroiddecSetAttributes(
  CMR_MATROID_DEC* dec  
);
 
#ifdef __cplusplus
}
#endif
 
#endif /* CMR_MATROID_DEC_INTERNAL_H */