/** * Generate the appropriate acceptance signature for Rabin Acceptance for this tree */ public override void generateAcceptance(AcceptanceForState acceptance) { for (int i = 0; i < getNodeMax(); i++) { SafraTreeNode stn = this[i]; if (stn == null) { acceptance.addTo_U(i); } else { if (stn.hasFinalFlag()) { acceptance.addTo_L(i); } } } }
/** 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); }
/** Get the AcceptanceForState access functor for this state */ public AcceptanceForState acceptance() { AcceptanceForState acc = new AcceptanceForState(_graph.acceptance(), this.getName()); return(acc); }
public abstract void generateAcceptance(AcceptanceForState acceptance);
/** Get the AcceptanceForState access functor for this state */ public AcceptanceForState acceptance() { AcceptanceForState acc = new AcceptanceForState(_graph.acceptance(), this.getName()); return acc; }