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)
public interface QueryListener
Modifier and Type | Method | Description |
---|---|---|
void |
queryChanged(Query query,
boolean isUndoRedo) |