Skip to content
GitLab

add unary.py to define unary operators

Merged Shoma Matsui requested to merge add_unary into master

I added unary.py to define unary operators of automata. At this time, only the trim operator is available.

find_inacc function has been moved to unary.py from supr_contr.py. Also, a test of the trim operator has been added.