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