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 one automaton, and the tool produces a new .cif file with the trim automaton. In addition, the general event-based restrictions apply as well.
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
.ciffile in the Project Explorer tab or Package Explorer tab and choose . -
In Eclipse, right click an open text editor for a
.ciffile and choose . -
Use the
ciftrimtool in a ToolDef script. See the scripting documentation and tools overview page for details. -
Use the
ciftrimcommand 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
.ciffile extension is removed (if present), and a_trim.ciffile extension is added. Thetrimpart 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. -
Add state annotations: Add state annotations to the locations of the automaton in the output CIF file. This option is enabled by default. If the output CIF file has an automaton with only a single non-initial location, then the location does not get a state annotation, regardless of whether the option is enabled or not.