tree 217174e8c5158dcfc161563d1ee32289f841042c
parent 251e5f7d1b19099bb6e67cb2d3fefc7e21421a6c
author Junxiao Shi <git@mail1.yoursunny.com> 1499913609 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1499913609 +0000

delegation-list: add DelegationList::empty()

Also, add 'noexcept' where applicable.

refs #4055

Change-Id: I3e0ae671541a6bb55079bf13990ba5ca15f312a5