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>
 
typedef enum
{
  CMR_DEC_CONSTRUCT_NONE = 0,
  CMR_DEC_CONSTRUCT_LEAVES = 1,
  CMR_DEC_CONSTRUCT_ALL = 2,
} CMR_DEC_CONSTRUCT;
 
typedef enum
{
  CMR_REGULAR_TREE_FLAGS_RECURSE = 1,
  CMR_REGULAR_TREE_FLAGS_STOP_IRREGULAR = 2,
  CMR_REGULAR_TREE_FLAGS_STOP_NONGRAPHIC = 4,
  CMR_REGULAR_TREE_FLAGS_STOP_NONCOGRAPHIC = 8,
  CMR_REGULAR_TREE_FLAGS_STOP_NONGRAPHIC_NONCOGRAPHIC = 16,
  CMR_REGULAR_TREE_FLAGS_DEFAULT = CMR_REGULAR_TREE_FLAGS_RECURSE | CMR_REGULAR_TREE_FLAGS_STOP_IRREGULAR
 
} CMR_REGULAR_TREE_FLAGS;
 
typedef struct
{
  bool directGraphicness;
  bool seriesParallel;
  bool planarityCheck;
  int treeFlags;
  bool threeSumPivotChildren;
  int threeSumStrategy;
  CMR_DEC_CONSTRUCT graphs;
} CMR_REGULAR_PARAMS;
 
CMR_EXPORT
CMR_ERROR CMRregularParamsInit(
  CMR_REGULAR_PARAMS* params  
);
 
typedef struct
{
  uint32_t totalCount;                  
  double totalTime;                     
  CMR_SP_STATISTICS seriesParallel;     
  CMR_GRAPHIC_STATISTICS graphic;       
  CMR_NETWORK_STATISTICS network;       
  CMR_CAMION_STATISTICS camion;         
  uint32_t sequenceExtensionCount;      
  double sequenceExtensionTime;         
  uint32_t sequenceGraphicCount;        
  double sequenceGraphicTime;           
  uint32_t enumerationCount;            
  double enumerationTime;               
  uint32_t enumerationCandidatesCount;  
} CMR_REGULAR_STATS;
 
 
CMR_EXPORT
CMR_ERROR CMRregularStatsInit(
  CMR_REGULAR_STATS* stats 
);
 
CMR_EXPORT
CMR_ERROR CMRregularStatsPrint(
  FILE* stream,             
  CMR_REGULAR_STATS* stats, 
  const char* prefix        
);
  
CMR_EXPORT
CMR_ERROR CMRregularTest(
  CMR* cmr,                   
  CMR_CHRMAT* matrix,         
  bool *pisRegular,           
  CMR_MATROID_DEC** pdec,     
  CMR_MINOR** pminor,         
  CMR_REGULAR_PARAMS* params, 
  CMR_REGULAR_STATS* stats,   
  double timeLimit            
);
 
CMR_EXPORT
CMR_ERROR CMRregularCompleteDecomposition(
  CMR* cmr,                   
  CMR_MATROID_DEC* dec,       
  CMR_REGULAR_PARAMS* params, 
  CMR_REGULAR_STATS* stats,   
  double timeLimit            
);
 
#ifdef __cplusplus
}
#endif
 
#endif /* CMR_REGULAR_H */