Skip to content

add unary.py to define unary operators

Shoma Matsuirequested 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.

Merge request reports