Data structures for a decomposition tree for a matrix.
Basic functionality of the software library.
CMR_ERROR
Type for return codes of library functions.
Definition: env.h:27
Functionality for graphs.
Computation and recognition of graphic matrices and cographic matrices.
Functionality for sparse matrices.
Functionality for matroids.
Computation and recognition of network matrices and conetwork matrices.
CMR_EXPORT CMR_ERROR CMRstatsRegularPrint(FILE *stream, CMR_REGULAR_STATISTICS *stats, const char *prefix)
Prints statistics for regularity test computations.
Definition: regular.c:48
CMR_EXPORT CMR_ERROR CMRparamsRegularInit(CMR_REGULAR_PARAMETERS *params)
Initializes the default parameters for regularity testing.
Definition: regular.c:13
CMR_EXPORT CMR_ERROR CMRstatsRegularInit(CMR_REGULAR_STATISTICS *stats)
Initializes all statistics for regularity test computations.
Definition: regular.c:28
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)
Tests binary linear matroid for regularity.
Definition: regular.c:502
CMR_DEC_CONSTRUCT
Definition: regular.h:26
@ CMR_DEC_CONSTRUCT_NONE
Definition: regular.h:27
@ CMR_DEC_CONSTRUCT_LEAVES
Definition: regular.h:28
@ CMR_DEC_CONSTRUCT_ALL
Definition: regular.h:29
Recognition of series-parallel matrices.
Row-wise representation of sparse char matrix.
Definition: matrix.h:198
Definition: env_internal.h:45
Statistics for graphicness test.
Definition: graphic.h:33
A minor of a matroid.
Definition: matroid.h:28
Statistics for recognition algorithm for network matrices.
Definition: network.h:35
CMR_DEC_CONSTRUCT transposes
Which transposed matrices of the decomposition to construct; default: CMR_DEC_CONSTRUCT_NONE.
Definition: regular.h:43
bool directGraphicness
Whether to use fast graphicness routines; default: true.
Definition: regular.h:34
bool completeTree
Whether to compute a complete decomposition tree (even if already non-regular; default: false.
Definition: regular.h:39
CMR_DEC_CONSTRUCT matrices
Which matrices of the decomposition to construct; default: CMR_DEC_CONSTRUCT_NONE.
Definition: regular.h:41
bool planarityCheck
Whether minors identified as graphic should still be checked for cographicness; default: false.
Definition: regular.h:37
bool seriesParallel
Whether to allow series-parallel operations in the decomposition tree; default: true.
Definition: regular.h:35
CMR_DEC_CONSTRUCT graphs
Which (co)graphs to construct; default: CMR_DEC_CONSTRUCT_NONE.
Definition: regular.h:45
Statistics for regular matroid recognition algorithm.
Definition: regular.h:64
CMR_NETWORK_STATISTICS network
Definition: regular.h:69
CMR_GRAPHIC_STATISTICS graphic
Definition: regular.h:68
double totalTime
Definition: regular.h:66
size_t sequenceExtensionCount
Definition: regular.h:70
size_t enumerationCount
Definition: regular.h:74
double sequenceGraphicTime
Definition: regular.h:73
CMR_SP_STATISTICS seriesParallel
Definition: regular.h:67
double sequenceExtensionTime
Definition: regular.h:71
size_t sequenceGraphicCount
Definition: regular.h:72
double enumerationTime
Definition: regular.h:75
size_t totalCount
Definition: regular.h:65
size_t enumerationCandidatesCount
Definition: regular.h:76
Statistics for series-parallel recognition algorithm.
Definition: series_parallel.h:25
Definition: dec_internal.h:9