is_nonblocking(G)
check if the automaton G is nonblocking
Parameters
| Name | Type | Description | Default |
|---|---|---|---|
G |
string | name of automaton | required |
Example
sample 1
pitct.is_nonblocking('G')