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