#include <cassert>

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

    alunos.push_back(novo_aluno);

    assert(cumpreInvariante());
}

inline void Escola::Tuna::insere(Musica::Pauta const& nova_pauta) 
{
    assert(cumpreInvariante());

    musicas.push_back(nova_pauta);

    assert(cumpreInvariante());
}

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