| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-22 21:05:57 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-22 21:05:57 +0200 |
| commit | 2b3f20d89c7d500842869d3316bee9c7457ba6d4 (patch) | |
| tree | b0429993666b252748e4c22bc230a5beaea1c3c6 /data/level/control_flow_level.lvl | |
| parent | d05bd3592050a9496dd87bcd8a49f8fdc8b6b58d (diff) | |
Adds the "is_terminal" predicate.
Diffstat (limited to 'data/level/control_flow_level.lvl')
| -rw-r--r-- | data/level/control_flow_level.lvl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/data/level/control_flow_level.lvl b/data/level/control_flow_level.lvl index 516f9ef..4ae7837 100644 --- a/data/level/control_flow_level.lvl +++ b/data/level/control_flow_level.lvl @@ -22,3 +22,4 @@ (add_predicate node_connect node node) (add_predicate expr_writes node waveform) (add_predicate expr_reads node waveform) +(add_predicate is_terminal node) |