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)