Skip to content

Commit f5935e2

Browse files
authored
Merge pull request #43 from rakhimov/pass-through
Mention the way to define "pass-through" gates
2 parents 1ad1006 + 4b50dd3 commit f5935e2

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

mef/fault_tree_layer.rst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -154,6 +154,8 @@ This description deserves some comments.
154154
two different events cannot have the same name (within the same name space),
155155
even if they are of different types.
156156
This point will be explained in the next section.
157+
- A "pass-through" gate can be defined without a connective
158+
but with a single argument event for its formula.
157159

158160
.. literalinclude:: schema/fault_tree.rnc
159161
:name: schema_fault_tree

0 commit comments

Comments
 (0)