Crate infmachine_config 

InfMachine Config

The configuration module for the Infinite Machine. The library provides basic interface for the configuration for the Infinite Machine. The library provides serialization and deserialization by serde crate.

Configuration is very simple structure with 3 fields:

• state_len - state length.
• data_part_len - data part length. Length of parts for the memory address and the temp buffer.
• cell_len_bits - length of length of the main memory cell.

The library provides structures:

• InfParMachineConfig - machine configuration.
• InfParInterfaceConfig - machine configuration used by generators.
• InfParEnvConfig - machine configuration and environment configuration.
• InfParMachineData - machine data contains config, environment config and circuit.

Re-exports

pub use toml;

Structs

InfParEnvConfig

Structure describes an execution environment for machine.

InfParInterfaceConfig

Structure describes machine configuration that can be used by generator of machines. It doesn’t provide state length.

InfParMachineConfig

Main structure that describes machine configuration. It describes general features that doesn’t includes specific implementation configuration.

InfParMachineData

Structure describes same machine. It contains machine configuration, execution environment configuration and circuit that describes behavior of the machine.

Enums

ValidError

Error that describe all errors of configuration and environment of machine.

Type Aliases

InfParMachineData16

Type for circuit with 16-bit length type.

InfParMachineData32

Type for circuit with 32-bit length type.

InfParMachineDataSys

Type for circuit with system (usize) length type.