Module configuration 

Configurations of a ACSThresholdAutomaton

This module contains the type definitions for configurations of a ACSThresholdAutomaton. These types are designed to have a small memory footprint and should be easily computable. This also means that when working with configurations, there is no extensive validation that is performed. In particular, one must ensure that configurations, locations, and intervals etc. from different threshold automata are not mixed. Otherwise panics can arise, and the results will not have any meaning.

Modules

partially_ordered_cfg_map 🔒

A data structure for mapping ACSTAConfigs to a type T and efficiently checking for comparable configurations.

Structs

ACSIntervalState

Assignment of variables to their current value

ACSLocState

Assignment of process counts to a location

ACSTAConfig

Configuration of a ACSThresholdAutomaton