tin.h File Reference

Tin umbrella include for the deterministic runtime kernel. More...

#include "tin/io.h"
#include "tin/platform.h"
#include "tin/runtime.h"
#include "tin/transport.h"
#include "tin/tsm.h"
#include "tin/version.h"

Include dependency graph for tin.h:

Go to the source code of this file.

Namespaces
	tin

Detailed Description

Tin umbrella include for the deterministic runtime kernel.

Tin provides the combined API for deterministic C++ runtime primitives, state machines, I/O facade contracts, platform/HAL boundary contracts, and transport records.

Focused headers such as tin/runtime.h and tin/tsm.h are available for libraries that use one layer. This header is useful at application boundaries and in complete examples.