Method getManaPool

forge-game/src/main/java/forge/game/player/Player.java:1755–1757

()

    }

    public final ManaPool getManaPool() {
        return manaPool;
    }
    public void updateManaForView() {
        view.updateMana(this);
    }