hereditary_property.h File Reference

#include <cmr/env.h>
#include "env_internal.h"
#include <cmr/matrix.h>
#include <cmr/element.h>

Go to the source code of this file.

Typedefs
typedef CMR_ERROR(*	HereditaryPropertyTest) (CMR *cmr, CMR_CHRMAT *matrix, void *data, bool *phasProperty, CMR_SUBMAT **psubmatrix, double timeLimit)

Functions
CMR_ERROR	CMRtestHereditaryPropertySimple (CMR *cmr, CMR_CHRMAT *matrix, HereditaryPropertyTest testFunction, void *testData, CMR_SUBMAT **psubmatrix, double timeLimit)
	Tests a given matrix for the hereditary property defined by a given testFunction. More...

Typedef Documentation

HereditaryPropertyTest

typedef CMR_ERROR(* HereditaryPropertyTest) (CMR *cmr, CMR_CHRMAT *matrix, void *data, bool *phasProperty, CMR_SUBMAT **psubmatrix, double timeLimit)

Function pointer for functions that test a hereditary matrix property.

Parameters

cmr	CMR environment.
matrix	Some matrix to be tested for the property.
data	Potential additional data for the test function.
phasProperty	Pointer for storing whether matrix has the property.
psubmatrix	Pointer for storing a proper submatrix of matrix without the property.
timeLimit	Time limit to impose.

Function Documentation

CMRtestHereditaryPropertySimple()

CMR_ERROR CMRtestHereditaryPropertySimple	(	CMR *	cmr,
		CMR_CHRMAT *	matrix,
		HereditaryPropertyTest	testFunction,
		void *	testData,
		CMR_SUBMAT **	psubmatrix,
		double	timeLimit
	)

Tests a given matrix for the hereditary property defined by a given testFunction.

The algorithm finds the submatrix by successively removing rows or columns.

Parameters

cmr	CMR environment.
matrix	Some matrix not having the hereditary property.
testFunction	Test function.
testData	Data to be forwarded to the test function.
psubmatrix	Pointer for storing a minimal submatrix not having the property.
timeLimit	Time limit to impose.