uzh/signal-collect — pull request #46 by pstutz (2012-10-02 08:38:17+00:00)
Title: Removed obsolete updateStateOfVertex

This method was only needed to serialize the changed vertex's state
back to disk.