{* 
* Some simple example queries to analyze a cyber-physical model 
*
* Manfred Jeusfeld, 2026-08-28 (2026-08-28), License: CC-BY-NC 4.0
*
* Copy and paste the query definition to the TelosEditor of your model and press "?" button
*
*}

ConnectedToBusBar in QueryClass isA PowergridComponent with
  constraint c1: $ exists b/BusBar (this powerconnection b) $
end

NotConnectedToBusBar in QueryClass isA PowergridComponent with
  constraint c1: $ not exists b/BusBar (this powerconnection b) $
end

NotConnectedToBusBar_v2 in QueryClass isA PowergridComponent with
  constraint c1: $ not (this in BusBar) and not exists b/BusBar (this powerconnection b) $
end