#ifndef PAUTA_H
#define PAUTA_H

#include <string>
#include <vector>

#include "aluno.H"

namespace Escola {

    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