#include <cassert>

inline void Musica::Pauta::insere(Nota const nota) 
{
    assert(cumpreInvariante());

    notas.push_back(nota);

    assert(cumpreInvariante());
}

inline void Musica::Pauta::removeUltima()
{
    assert(cumpreInvariante());

    notas.pop_back();

    assert(cumpreInvariante());
}

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