API reference

The reference is generated from the source code and its docstrings, so it always matches the installed version. It covers the public API; the internal modules (the ctypes binding in intrepyd.api, the ANTLR-generated Lustre and IEC 61131-3 front-ends, and other helpers) are left out.

Module	What it is
Context	The factory for types, nets, engines and traces
Engines	BMC, k-induction, backward reachability and IC3/PDR
Portfolio	Runs the engines in parallel
Circuit	Base class for translated and hand-built models
Trace	Input and watched values over time
Simulator	Propagates a trace through a circuit
Component library	Reusable EDA and IEC 61131-3 PLC blocks
Test generation	MC/DC automated test generation
Tools	translate_* front-ends and simulate
Parser	Reads Intrepid's line-based syntax
Simulink	Binding of the Simulink front-end library
Remote	Using an intrepid-server from python
Helpers	SCR, pseudo-boolean and plotting helpers