/** Copy acceptance signature for this state
* @param acceptance (<b>out</b>) AcceptanceForState for the state in the result automaton
*/
public override void generateAcceptance(AcceptanceForState acceptance)
{
acceptance.setSignature(signature);
}
/**
* Generate the appropriate acceptance signature for Rabin Acceptance for this object
* @param acceptance the AcceptanceForState accessor to which the signature is copied
*/
public void generateAcceptance(AcceptanceForState acceptance)
{
acceptance.setSignature(_signature);
}