//////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2010, 2026 Contributors to the Eclipse Foundation
//
// See the NOTICE file(s) distributed with this work for additional
// information regarding copyright ownership.
//
// This program and the accompanying materials are made available
// under the terms of the MIT License which is available at
// https://opensource.org/licenses/MIT
//
// SPDX-License-Identifier: MIT
//////////////////////////////////////////////////////////////////////////////

include::_part_attributes.asciidoc[]

:leveloffset: -2

[[tools-chapter-index]]
== Tools

Below you can find information about the individual applications of the CIF toolset.

indexterm:[tools,overview]

*Applications*

The CIF toolset consists of applications that cover a wide range of functionality.
The available applications are listed below.

[[virtual-toc-target--tools-specification]]
_Specification_

* <<tools-chapter-text-editor>>

[[virtual-toc-target--tools-analysis]]
_Analysis_

* <<tools-chapter-infogen>>
* <<tools-chapter-relations>>

[[virtual-toc-target--tools-synthesis]]
_Supervisory controller synthesis_

* <<tools-chapter-datasynth>>
* <<tools-chapter-multilevel>>
* <<tools-eventbased-chapter-index>>
* <<tools-chapter-cif2supremica>>

[[virtual-toc-target--tools-v-and-v]]
_Simulation, validation, and verification_

* <<tools-cifsim-chapter-index>>
* <<tools-chapter-cif2mcrl2>>
* <<tools-chapter-cif2uppaal>>
* <<tools-chapter-controller-checker>>

[[virtual-toc-target--tools-implementation]]
_Real-time testing, code generation, and implementation_

* <<tools-codegen-chapter-index>>
* <<tools-plcgen-chapter-index>>
* <<tools-cif2plc-chapter-index>>

[[virtual-toc-target--tools-misc]]
_Miscellaneous_

* <<tools-cif2cif-chapter-index>>
* <<tools-chapter-mergecif>>
* <<tools-chapter-event-disabler>>
* <<tools-chapter-cif-explorer>>
* <<tools-chapter-cif2yed>>

indexterm:[scripting]
indexterm:[tools,scripting]

[[virtual-toc-target--tools-scripting]]
*Scripting*

The CIF tools can be used on the command line, as well as in the Eclipse IDE.
They can also be used in ToolDef scripts.
The following additional information is available on scripting related to CIF and ToolDef scripts:
// Removed the previously present link to documentation about 'command line'.
// Removed the previously present link to documentation about 'Eclipse IDE'.
// Removed the previously present link to documentation about 'ToolDef'.

* <<tools-scripting-chapter-intro>>
* <<tools-scripting-chapter-tools>>
