ocmin - automata minimization

- NAME
- SYNOPSIS
- DESCRIPTION
  - ocmin
- OPTIONS
- SEE ALSO

# 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)

# SEE ALSO

lustre, lus2ec, ecexe, luciole, simec, lus2oc, ec2oc, ocmin, lus2atg, oc2atg, ec2c, poc, lux, lesar, ecverif, xlesar

ocmin - automata minimization