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