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