QueryListener (UPPAAL model library)

```
public interface QueryListener
```
The listener class of 'query'

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void queryChanged(Query query, boolean isUndoRedo)

Method Detail

queryChanged

void queryChanged(Query query,
                  boolean isUndoRedo)