Skip to content

is_trim(G)

check if the automaton G is trim

Parameters

Name Type Description Default
G string name of automaton required

Example

sample 1
pitct.is_trim('G')