#ifndef PAUTA_H
#define PAUTA_H

#include <string>
#include <vector>

#include "aluno.H"

class Pauta {
  public: 
    void insere(Aluno const& novo_aluno);
    void removeAlunoComNome(std::string const& nome);

    bool estaVazia() const;

  private:
    std::vector<Aluno> alunos;

    bool cumpreInvariante() const;
};

#include "pauta_impl.H"

#endif // PAUTA_H