Commit ed3fd1e9 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

Add missing and useful doc for parse_condition

parent dca40d7d
......@@ -293,8 +293,19 @@ def parse_event(event):
def parse_condition(condition, all_nodes, inhibitors_nodes):
"""Return valid paths according the given logical formula and nodes.
"""Return valid paths according the given logical formula and nodes;
and set inhibitors_nodes
.. note:: inhibitors_nodes is modified(set) by this function.
:param condition: Condition string of a transition.
:param all_nodes: Nodes involved in transitions + frontier places.
:param inhibitors_nodes: Inactivated nodes in paths of conditions.
:type condition: <str>
:type inhibitors_nodes: <set>
:type all_nodes: <set>
:return: Set of paths. Each path is a tuple of nodes.
:rtype: <set>
LOGGER.debug("CONDITION: %s", condition)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment