Interface DistributedTree.ViewListener

  • Enclosing class:
    DistributedTree

    public static interface DistributedTree.ViewListener
    • Method Detail

      • viewChange

        void viewChange​(java.util.Vector new_mbrs,
                        java.util.Vector old_mbrs)