Package com.uppaal.model.core2

Interface QueryListListener

  • public interface QueryListListener
    Listener class for 'QueryList'

    • Method Detail

      • queryAdded

        void queryAdded​(Query query,
                int index)

      • queryRemoved

        void queryRemoved​(Query query,
                  int index)