regular.h

Go to the documentation of this file.

#ifndef CMR_REGULAR_H
#define CMR_REGULAR_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <cmr/env.h>
#include <cmr/matrix.h>
#include <cmr/matroid.h>
#include <cmr/graph.h>
#include <cmr/series_parallel.h>
#include <cmr/graphic.h>
#include <cmr/network.h>
#include <cmr/dec.h>
 
typedef enum
{
  CMR_DEC_CONSTRUCT_NONE = 0,
  CMR_DEC_CONSTRUCT_LEAVES = 1,
  CMR_DEC_CONSTRUCT_ALL = 2,
} CMR_DEC_CONSTRUCT;
 
typedef struct
{
  bool directGraphicness;       
  bool seriesParallel;          
  bool planarityCheck;          
  bool completeTree;            
  CMR_DEC_CONSTRUCT matrices;   
  CMR_DEC_CONSTRUCT transposes; 
  CMR_DEC_CONSTRUCT graphs;     
} CMR_REGULAR_PARAMETERS;
 
CMR_EXPORT
CMR_ERROR CMRparamsRegularInit(
  CMR_REGULAR_PARAMETERS* params  
);
 
typedef struct
{
  size_t totalCount;                  
  double totalTime;                   
  CMR_SP_STATISTICS seriesParallel;   
  CMR_GRAPHIC_STATISTICS graphic;     
  CMR_NETWORK_STATISTICS network;     
  size_t sequenceExtensionCount;      
  double sequenceExtensionTime;       
  size_t sequenceGraphicCount;        
  double sequenceGraphicTime;         
  size_t enumerationCount;            
  double enumerationTime;             
  size_t enumerationCandidatesCount;  
} CMR_REGULAR_STATISTICS;
 
 
CMR_EXPORT
CMR_ERROR CMRstatsRegularInit(
  CMR_REGULAR_STATISTICS* stats 
);
 
CMR_EXPORT
CMR_ERROR CMRstatsRegularPrint(
  FILE* stream,                   
  CMR_REGULAR_STATISTICS* stats,  
  const char* prefix              
);
  
CMR_EXPORT
CMR_ERROR CMRtestBinaryRegular(
  CMR* cmr,                       
  CMR_CHRMAT* matrix,             
  bool *pisRegular,               
  CMR_DEC** pdec,                 
  CMR_MINOR** pminor,             
  CMR_REGULAR_PARAMETERS* params, 
  CMR_REGULAR_STATISTICS* stats,  
  double timeLimit                
);
 
#ifdef __cplusplus
}
#endif
 
#endif /* CMR_REGULAR_H */