/**
* 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);
public abstract void generateAcceptance(AcceptanceForState acceptance);
/**
* 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);
}
}
}
}
/** Get the AcceptanceForState access functor for this state */
public AcceptanceForState acceptance()
{
AcceptanceForState acc = new AcceptanceForState(_graph.acceptance(), this.getName());
return acc;
}
