#include <cassert>

inline void Escola::Pauta::insere(Aluno const& novo_aluno) 
{
    assert(cumpreInvariante());

    alunos.push_back(novo_aluno);

    assert(cumpreInvariante());
}

inline bool Escola::Pauta::estaVazia() const 
{
    assert(cumpreInvariante());

    return alunos.empty();
}

inline bool Escola::Pauta::cumpreInvariante() const 
{
    return true;
}