is_reachable(G)
check reachability of the automaton G
Parameters
| Name | Type | Description | Default |
|---|---|---|---|
G |
string | name of automaton | required |
Example
sample 1
pitct.is_reachable('G')