Beispiel #1
0
 /**
  * /// prunes the given set of states
  *
  * /// @param activeList a activeList of tokens
  */
 public ActiveList Prune(ActiveList activeList)
 {
     return(activeList.Purge());
 }