/** * 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(); }
/** * Constructor. * @param ap_set the underlying APSet. */ //template <typename Label, template <typename N> class EdgeContainer, typename AcceptanceCondition> public DA(APSet ap_set) { //_state_count = 0; _ap_set = ap_set; _start_state = null; _is_compact = true; //added by ly _index = new List <DA_State>(); //_start_state //_acceptance?? _acceptance = new RabinAcceptance(); }
/** * Prepares the acceptance condition in the result union automaton. If the two automata have k1 and k2 * acceptance pairs, this function allocates k1+k2 acceptance pairs in the result automaton. * @param acceptance_result The acceptance condition in the result automaton. */ public void prepareAcceptance(RabinAcceptance acceptance_result) { acceptance_result.newAcceptancePairs(_acc_size_1 + _acc_size_2); }
/** Prepare the acceptance condition * @param acceptance the acceptance condition in the result DA */ public void prepareAcceptance(RabinAcceptance acceptance) { _acceptance_calculator.prepareAcceptance(acceptance); }
/** Constructor */ public AcceptanceForState(RabinAcceptance acceptance, int state_index) { _acceptance = acceptance; _state_index = state_index; }
/** Constructor */ public AcceptanceForState(RabinAcceptance acceptance,int state_index) { _acceptance = acceptance; _state_index = state_index; }