/** Prepare the acceptance condition
* @param acceptance the acceptance condition in the result DA
*/
public void prepareAcceptance(RabinAcceptance acceptance)
{
_acceptance_calculator.prepareAcceptance(acceptance);
}
/** Prepare the acceptance condition
* @param acceptance the acceptance condition in the result DA
*/
public void prepareAcceptance(RabinAcceptance acceptance)
{
_acceptance_calculator.prepareAcceptance(acceptance);
}