ocmin - automata minimization |
ocmin - automata minimization
ocmin file.oc [options]
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.
set verbose mode
define the output file (default is module-name_min.oc)
lustre, lus2ec, ecexe, luciole, simec, lus2oc, ec2oc, ocmin, lus2atg, oc2atg, ec2c, poc, lux, lesar, ecverif, xlesar
ocmin - automata minimization |