/** * 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()); }