CIF 3

Event-based trim

The trim tool makes an automaton trim by removing all locations that are not reachable or coreachable. The input is a .cif file with a single automaton, and the tool produces a new .cif file with the trim automaton. If the automaton in the input was already trim, all locations are preserved.

Starting the trim tool

The tool can be started in the following ways:

  • In Eclipse, right click a .cif file in the Project Explorer or Package Explorer and choose CIF synthesis tools ‣ Event-based synthesis tools ‣ Apply trim....
  • In Eclipse, right click an open text editor for a .cif file and choose CIF synthesis tools ‣ Event-based synthesis tools ‣ Apply trim....
  • Use the cif3trim tool in a ToolDef 2 script. See the scripting documentation and tools overview page for details.
  • Use the cif3trim command line tool.

Options

Besides the general application options, this application has the following options:

  • Input file: The absolute or relative local file system path to the input CIF specification.
  • Output file: The absolute or relative local file system path to the output CIF specification. If not specified, defaults to the input file path, where the .cif file extension is removed (if present), and a _trim.cif file extension is added. The trim part of the default extension depends on the Result name option.
  • Result name: The name to use for the trim automaton. If not specified, defaults to trim. Also affects the Output file option.