| summaryrefslogtreecommitdiff | 
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 10:29:52 +0200 | 
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 10:29:52 +0200 | 
| commit | 70b40bfb6c032c0dead7069b2178a43e63a8e563 (patch) | |
| tree | fddf894ab2642aad5d6a87b85c00192833c0d64b /data/property | |
| parent | 1cac6685e5dc334473c304194d5f816b6ecf3469 (diff) | |
First shot at the framework (it does compile).
Diffstat (limited to 'data/property')
| -rw-r--r-- | data/property/unread_waveforms.pro | 10 | 
1 files changed, 10 insertions, 0 deletions
| diff --git a/data/property/unread_waveforms.pro b/data/property/unread_waveforms.pro new file mode 100644 index 0000000..b53862b --- /dev/null +++ b/data/property/unread_waveforms.pro @@ -0,0 +1,10 @@ +(tag_existing +   ( +      (wf waveform UNREAD_WAVEFORM) +   ) +   (not +      (exists ps process +         (is_accessed_by wf ps) +      ) +   ) +) | 


