well technically what you posted says within trees and on buildings and her pool is neither... I would have had them gone the second they touched (or tried to touch) my dog too
I cant believe you weren't enjoying your pool or backyard because of them... hopefully they are happy where they are and now everyone can be happy.
Now get outside and start enjoying your pool or you might find me laying out next to it!