Package com.uppaal.model.core2

Interface QueryListener

  • public interface QueryListener
    The listener class of 'query'

    • Method Summary

      Modifier and Type Method Description
      void queryChanged​(Query query, boolean isUndoRedo)  

    • Method Detail

      • queryChanged

        void queryChanged​(Query query,
                  boolean isUndoRedo)