Type Definition TmpPartFuncSetMatsWithPosPairs
consprob
type TmpPartFuncSetMatsWithPosPairs = HashMap<PosPair, TmpPartFuncSetMat>;