/** Constructor.
* @param da_state_1_ index of the state in the first automaton
* @param da_state_2_ index of the state in the second automaton
* @param acceptance_calculator UnionAcceptanceCalculator
*/
//template <typename AcceptanceCalc>
public UnionState(int da_state_1_, int da_state_2_, UnionAcceptanceCalculator acceptance_calculator)
{
da_state_1 = da_state_1_;
da_state_2 = da_state_2_;
signature = acceptance_calculator.calculateAcceptance(da_state_1, da_state_2);
}