/**
* Constructor.
* @param acc_1 The RabinAcceptance condition from automaton 1
* @param acc_2 The RabinAcceptance condition from automaton 2
*/
public UnionAcceptanceCalculator(RabinAcceptance acc_1, RabinAcceptance acc_2)
{
_acc_1 = acc_1;
_acc_2 = acc_2;
_acc_size_1 = _acc_1.size();
_acc_size_2 = _acc_2.size();
}
/** Get number of acceptance pairs */
public int size()
{
return(_acceptance.size());
}
