add unary.py to define unary operators (!2) · Merge requests · M-DES-tools / MDESops

Shoma Matsui requested to merge add_unary into master May 29, 2020

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.

add unary.py to define unary operators