1 #ifndef CMR_REGULAR_INTERNAL_H
2 #define CMR_REGULAR_INTERNAL_H
15 size_t firstNonCoGraphicMinor,
39 size_t lengthSequence,
40 size_t* sequenceNumRows,
41 size_t* sequenceNumColumns,
42 size_t* plastGraphicMinor,
int CMR_ELEMENT
Definition: element.h:20
CMR_ERROR
Type for return codes of library functions.
Definition: env.h:31
int CMR_GRAPH_EDGE
Reference to an edge of CMR_GRAPH.
Definition: graph.h:31
Recognition of regular matrices.
CMR_ERROR CMRregularDecomposeOneSum(CMR *cmr, CMR_DEC *dec)
Performs a 1-sum decomposition of matrix and stores it in dec.
Definition: regular_onesum.c:18
CMR_ERROR CMRregularDecomposeSeriesParallel(CMR *cmr, CMR_DEC **pdec, bool ternary, CMR_SUBMAT **psubmatrix, CMR_REGULAR_PARAMETERS *params, CMR_REGULAR_STATISTICS *stats, double timeLimit)
Splits off series-parallel elements from the matrix of a decomposition node.
Definition: regular_series_parallel.c:10
CMR_ERROR CMRregularConstructNestedMinorSequence(CMR *cmr, CMR_DEC *dec, bool ternary, CMR_SUBMAT *wheelSubmatrix, CMR_SUBMAT **psubmatrix, CMR_REGULAR_STATISTICS *stats, double timeLimit)
Constructs a sequence of nested 3-connected minors for the matrix of a decomposition node.
Definition: regular_nested_minor_sequence.c:1137
CMR_ERROR CMRtestRegular(CMR *cmr, CMR_CHRMAT *matrix, bool ternary, bool *pisRegular, CMR_DEC **pdec, CMR_MINOR **pminor, CMR_REGULAR_PARAMETERS *params, CMR_REGULAR_STATISTICS *stats, double timeLimit)
Tests ternary or binary linear matroid for regularity.
Definition: regular.c:417
CMR_ERROR CMRregularTestGraphic(CMR *cmr, CMR_CHRMAT **pmatrix, CMR_CHRMAT **ptranspose, bool ternary, bool *pisGraphic, CMR_GRAPH **pgraph, CMR_GRAPH_EDGE **pforest, CMR_GRAPH_EDGE **pcoforest, bool **parcsReversed, CMR_SUBMAT **psubmatrix, CMR_REGULAR_STATISTICS *stats, double timeLimit)
Tests matrix for graphicness.
Definition: regular_graphic.c:1419
CMR_ERROR CMRregularSequenceGraphic(CMR *cmr, CMR_CHRMAT *matrix, CMR_CHRMAT *transpose, size_t lengthSequence, size_t *sequenceNumRows, size_t *sequenceNumColumns, size_t *plastGraphicMinor, CMR_GRAPH **pgraph, CMR_ELEMENT **pedgeElements, CMR_REGULAR_STATISTICS *stats, double timeLimit)
Tests sequence of nested 3-connected minors for graphicness.
Definition: regular_graphic.c:1240
CMR_ERROR CMRregularSearchThreeSeparation(CMR *cmr, CMR_DEC *dec, CMR_CHRMAT *transpose, bool ternary, size_t firstNonCoGraphicMinor, CMR_SUBMAT **psubmatrix, CMR_REGULAR_STATISTICS *stats, double timeLimit)
Enumerates 3-separations for a 3-connected matrix.
Definition: regular_enumerate.c:771
CMR_ERROR CMRregularThreeConnectedIsR10(CMR *cmr, CMR_DEC *dec, bool *pisR10)
Tests whether given 3-connected matrix represents .
Definition: regular_r10.c:7
CMR_ERROR CMRregularExtendNestedMinorSequence(CMR *cmr, CMR_DEC *dec, bool ternary, CMR_SUBMAT **psubmatrix, CMR_REGULAR_STATISTICS *stats, double timeLimit)
Extends an incomplete sequence of nested 3-connected minors for the matrix of a decomposition node.
Definition: regular_nested_minor_sequence.c:1197
Row-wise representation of sparse char matrix.
Definition: matrix.h:204
Definition: env_internal.h:45
A minor of a matroid.
Definition: matroid.h:28
Statistics for regular matroid recognition algorithm.
Definition: regular.h:64
Row and column indices for a submatrix.
Definition: matrix.h:28
Definition: dec_internal.h:9