protected CardList getDredge() {
        CardList dredge = new CardList();
        CardList cl = AllZoneUtil.getPlayerGraveyard(this);

        for (Card c : cl) {
            ArrayList<String> kw = c.getKeyword();
            for (int i = 0; i < kw.size(); i++) {
                if (kw.get(i).toString().startsWith("Dredge")) {
                    if (AllZoneUtil.getPlayerCardsInLibrary(this).size() >= getDredgeNumber(c)) dredge.add(c);
                }
            }
        }
        return dredge;
    }//hasDredge()