ocmin - automata minimization

NAME

ocmin - automata minimization

SYNOPSIS

ocmin file.oc [options]

DESCRIPTION

ocmin

This tool performs state equivalence checking to reduce the size of the automaton. It takes either oc2 or oc5 files, and outputs the minimized automaton in the same format version; the default output file is module-name_min.oc.

OPTIONS

-v

set verbose mode

-o file

define the output file (default is module-name_min.oc)

 ocmin - automata minimization