--- ** Predecessor Estimation CP -------------------------------------------------------------------------------------

predecessorEstimationCPStrategy :: ExpressionSelector F V -> ComplexityPair -> TrsStrategy
predecessorEstimationCPStrategy rs cp = T.Apply $ PredecessorEstimationCP { onSelectionCP = rs, withComplexityPair = cp }
predecessorEstimationCPStrategy :: ExpressionSelector F V -> ComplexityPair -> TrsStrategy
predecessorEstimationCPStrategy rs cp = T.Apply $ PredecessorEstimationCP { onSelectionCP = rs, withComplexityPair = cp }
predecessorEstimationCPStrategy rs cp = T.Apply $ PredecessorEstimationCP { onSelectionCP = rs, withComplexityPair = cp }