series_parallel.h

Go to the documentation of this file.

#ifndef CMR_SERIES_PARALLEL_H
#define CMR_SERIES_PARALLEL_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <cmr/element.h>
#include <cmr/matrix.h>
#include <cmr/separation.h>
 
typedef struct
{
  uint32_t totalCount;      
  double totalTime;       
  uint32_t reduceCount;     
  double reduceTime;      
  uint32_t wheelCount;      
  double wheelTime;       
  uint32_t nonbinaryCount;  
  double nonbinaryTime;   
} CMR_SP_STATISTICS;
 
CMR_EXPORT
CMR_ERROR CMRspStatsInit(
  CMR_SP_STATISTICS* stats 
);
 
CMR_EXPORT
CMR_ERROR CMRspStatsPrint(
  FILE* stream,             
  CMR_SP_STATISTICS* stats, 
  const char* prefix        
);
 
typedef struct
{
  CMR_ELEMENT element; 
  CMR_ELEMENT mate;    
} CMR_SP_REDUCTION;
 
CMR_EXPORT
char* CMRspReductionString(
  CMR_SP_REDUCTION reduction, 
  char* buffer                
);
 
static inline
bool CMRspIsRow(
  CMR_SP_REDUCTION reduction 
)
{
  return reduction.element < 0;
}
 
static inline
bool CMRspIsColumn(
  CMR_SP_REDUCTION reduction 
)
{
  return reduction.element > 0;
}
 
static inline
bool CMRspIsZero(
  CMR_SP_REDUCTION reduction 
)
{
  return reduction.mate == 0;
}
 
static inline
bool CMRspIsUnit(
  CMR_SP_REDUCTION reduction 
)
{
  return reduction.element * reduction.mate < 0;
}
 
static inline
bool CMRspIsCopy(
  CMR_SP_REDUCTION reduction 
)
{
  return reduction.element * reduction.mate > 0;
}
 
static inline
bool CMRspIsValid(
  CMR_SP_REDUCTION reduction 
)
{
  return reduction.element != 0;
}
 
CMR_EXPORT
CMR_ERROR CMRspTestBinary(
  CMR* cmr,                         
  CMR_CHRMAT* matrix,               
  bool* pisSeriesParallel,          
  CMR_SP_REDUCTION* reductions,     
  size_t* pnumReductions,           
  CMR_SUBMAT** preducedSubmatrix,   
  CMR_SUBMAT** pviolatorSubmatrix,  
  CMR_SP_STATISTICS* stats,         
  double timeLimit                  
);
 
CMR_EXPORT
CMR_ERROR CMRspTestTernary(
  CMR* cmr,                         
  CMR_CHRMAT* matrix,               
  bool* pisSeriesParallel,          
  CMR_SP_REDUCTION* reductions,     
  size_t* pnumReductions,           
  CMR_SUBMAT** preducedSubmatrix,   
  CMR_SUBMAT** pviolatorSubmatrix,  
  CMR_SP_STATISTICS* stats,         
  double timeLimit                  
);
 
CMR_EXPORT
CMR_ERROR CMRspDecomposeBinary(
  CMR* cmr,                         
  CMR_CHRMAT* matrix,               
  bool* pisSeriesParallel,          
  CMR_SP_REDUCTION* reductions,     
  size_t maxNumReductions,          
  size_t* pnumReductions,           
  CMR_SUBMAT** preducedSubmatrix,   
  CMR_SUBMAT** pviolatorSubmatrix,  
  CMR_SEPA** pseparation,           
  CMR_SP_STATISTICS* stats,         
  double timeLimit                  
);
 
 
CMR_EXPORT
CMR_ERROR CMRspDecomposeTernary(
  CMR* cmr,                         
  CMR_CHRMAT* matrix,               
  bool* pisSeriesParallel,          
  CMR_SP_REDUCTION* reductions,     
  size_t maxNumReductions,          
  size_t* pnumReductions,           
  CMR_SUBMAT** preducedSubmatrix,   
  CMR_SUBMAT** pviolatorSubmatrix,  
  CMR_SEPA** pseparation,           
  CMR_SP_STATISTICS* stats,         
  double timeLimit                  
);
 
#ifdef __cplusplus
}
#endif
 
#endif /* CMR_SERIES_PARALLEL_H */