Module index_ctx

taco_acs_model_checker::acs_threshold_automaton

Module index_ctx 

Source
Expand description

This module defines the IndexCtx type that serves as a mapping from indices (usize) to elements in an [IntervalThresholdAutomaton].

It enables to use vectors instead of maps in order to save on memory.

Structsยง

IndexCtx
Context providing a mapping from locations, variables and intervals to indices or in this case types that can be used as indices