getDecomposition()

std::pair< bool, RepDecomposition > syten::RepRegister::Decomp::getDecomposition	(	Rep const &	a,
		Rep const &	b,
		Ordinal const &	resultIndex
	)

Checks if we already know about a given decomposition.

Parameters

a	first rep
b	second rep
resultIndex	which index of the CGC space corresponds to the resulting rep

Returns

a pair (bool, RepDecomposition), if .first is true, .second holds the known decomposition

References std::make_pair(), repDecompositionData, and repDecompositionDataMtx.

Here is the call graph for this function: