sdcProblem-objects depending on argument typesdcProblem-objects
depending on argument typesdcProblemtype.sdcProblem
depending on argument type sdcProblemif argumenttypematches 'rule.freq', 'rule.nk', 'rule.p', 'cutAndBranch',
'anonWorker', 'ghmiter', 'ghmiter.supressQuader',
'ghmiter.suppressAdditionalQuader' or 'reduceProblem'typematches 'heuristicSolution'typematches 'preprocess' having
following elements:sdcProblemlinProbcutListtypematches 'cellID'safeObjif argumenttypematches 'finalize'typematches 'ghmiter.diagObj' having following
elements:typematches
'ghmiter.calcInformation'typematches
'ghmiter.selectQuader'typematches 'contributingIndices'cutListif argumenttypematches 'genStructuralCuts'