diff options
Diffstat (limited to 'src/psl/psl-nodes.ads')
| -rw-r--r-- | src/psl/psl-nodes.ads | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads index 9d6388c1d..b3887a075 100644 --- a/src/psl/psl-nodes.ads +++ b/src/psl/psl-nodes.ads @@ -72,6 +72,7 @@ package PSL.Nodes is N_Concat_SERE, N_Fusion_SERE, N_Within_SERE, + N_Clocked_SERE, N_Match_And_Seq, -- && N_And_Seq, @@ -254,6 +255,12 @@ package PSL.Nodes is -- -- Get/Set_SERE (Field1) + -- N_Clocked_SERE (Short) + -- + -- Get/Set_SERE (Field1) + -- + -- Get/Set_Boolean (Field3) + -- N_Concat_SERE (Short) -- N_Fusion_SERE (Short) -- N_Within_SERE (Short) |