//////////////////////////////////////////////////////////////////////////////
// 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-cifsim-chapter-index]]
== CIF simulator

indexterm:[simulator]
indexterm:[tools,simulator]
The CIF simulator can be used to explore the <<tools-cifsim-traces-state-space,state space>> of CIF specifications, either interactively, or using a more automated approach.
Powerful visualization features allow for interactive visualization-based validation of the CIF specification.

[[virtual-toc-target--tools-simulator-basics]]
*Basics*

* <<tools-cifsim-chapter-supported>>
* <<tools-cifsim-chapter-start>>
* <<tools-cifsim-chapter-init>>
* <<tools-cifsim-chapter-termination>>
* <<tools-cifsim-chapter-traces>>
* <<tools-cifsim-chapter-repeated-simulation>>

[[virtual-toc-target--tools-simulator-input-output]]
*Input/output*

* <<tools-cifsim-input-chapter-index>>
* <<tools-cifsim-chapter-non-urgent-events>>
* <<tools-cifsim-output-chapter-index>>

[[virtual-toc-target--tools-simulator-advanced]]
*Advanced*

* <<tools-cifsim-chapter-options>>
* <<tools-cifsim-chapter-performance>>
* <<tools-cifsim-solver-chapter-index>> (integration and guard/event detection)
* <<tools-cifsim-chapter-java-compiler>>

[[virtual-toc-target--tools-simulator-misc]]
*Miscellaneous*

* <<tools-cifsim-chapter-execution-mode>>
* <<tools-cifsim-chapter-complete-mode>>
* <<tools-cifsim-chapter-extfuncs>>
* <<tools-cifsim-chapter-profiling>>
* <<tools-cifsim-chapter-distr-seeds>>

[[virtual-toc-target--tools-simulator-dev]]
*Developers*

* <<tools-cifsim-chapter-max-time-point-tol>>
* <<tools-cifsim-chapter-debug-gen-code>>
* <<tools-cifsim-chapter-test-mode>>
