#include <regular.h>

Public Attributes
bool	directGraphicness
	Whether to use fast graphicness routines; default: `true`. More...

bool	seriesParallel
	Whether to allow series-parallel operations in the decomposition tree; default: `true`. More...

bool	planarityCheck
	Whether minors identified as graphic should still be checked for cographicness; default: `false`. More...

int	treeFlags
	Flags controlling the decomposition algorithm. See More...

bool	threeSumPivotChildren
	Whether pivots for 3-sums shall be applied such that the matrix contains both child matrices as submatrices, if possible. More...

int	threeSumStrategy
	Whether to perform pivots to change the rank distribution, and how to construct the children. More...

CMR_DEC_CONSTRUCT	graphs
	Which (co)graphs to construct; default: CMR_DEC_CONSTRUCT_NONE. More...

Member Data Documentation

◆ directGraphicness

bool CMR_REGULAR_PARAMS::directGraphicness

Whether to use fast graphicness routines; default: true.

◆ graphs

CMR_DEC_CONSTRUCT CMR_REGULAR_PARAMS::graphs

Which (co)graphs to construct; default: CMR_DEC_CONSTRUCT_NONE.

◆ planarityCheck

bool CMR_REGULAR_PARAMS::planarityCheck

Whether minors identified as graphic should still be checked for cographicness; default: false.

◆ seriesParallel

bool CMR_REGULAR_PARAMS::seriesParallel

Whether to allow series-parallel operations in the decomposition tree; default: true.

◆ threeSumPivotChildren

bool CMR_REGULAR_PARAMS::threeSumPivotChildren

Whether pivots for 3-sums shall be applied such that the matrix contains both child matrices as submatrices, if possible.

◆ threeSumStrategy

int CMR_REGULAR_PARAMS::threeSumStrategy

Whether to perform pivots to change the rank distribution, and how to construct the children.

The value is a bit-wise or of three decisions. The first decision is that of the rank distribution:

CMR_MATROID_DEC_THREESUM_FLAG_NO_PIVOTS to not change the rank distribution (default), or
CMR_MATROID_DEC_THREESUM_FLAG_DISTRIBUTED_RANKS to enforce distributed ranks (1 + 1), or
CMR_MATROID_DEC_THREESUM_FLAG_CONCENTRATED_RANK to enforce concentrated ranks (2 + 0).

The second decision determines the layout of the first child matrix:

CMR_MATROID_DEC_THREESUM_FLAG_FIRST_WIDE for a wide first child (default) in case of distributed ranks, or
CMR_MATROID_DEC_THREESUM_FLAG_FIRST_TALL for a tall first child in that case.
CMR_MATROID_DEC_THREESUM_FLAG_FIRST_MIXED for a mixed first child (default) in case of concentrated ranks, or
CMR_MATROID_DEC_THREESUM_FLAG_FIRST_ALLREPR for a first child with all representing rows in that case.

Similarly, the third decision determines the layout of the second child matrix:

CMR_MATROID_DEC_THREESUM_FLAG_SECOND_WIDE for a wide second child (default) in case of distributed ranks, or
CMR_MATROID_DEC_THREESUM_FLAG_SECOND_TALL for a tall second child in that case.
CMR_MATROID_DEC_THREESUM_FLAG_SECOND_MIXED for a mixed second child (default) in case of concentrated ranks, or
CMR_MATROID_DEC_THREESUM_FLAG_SECOND_ALLREPR for a first second with all representing rows in that case.

See also: Decomposition of matroids for a description of these layouts.

A decomposition as described by Seymour can be selected via CMR_MATROID_DEC_THREESUM_FLAG_SEYMOUR. A decomposition as used by Truemper can be selected via CMR_MATROID_DEC_THREESUM_FLAG_TRUEMPER. The default is to not carry out any pivots and choose Seymour's or Truemper's definition depending on the rank distribution.

◆ treeFlags

int CMR_REGULAR_PARAMS::treeFlags

Flags controlling the decomposition algorithm. See

Whether to compute a complete decomposition tree (even if already non-regular; default: false.

The documentation for this struct was generated from the following file:

/home/runner/work/cmr/cmr/include/cmr/regular.h

Public Attributes