SyTen

◆ 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
afirst rep
bsecond rep
resultIndexwhich 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: