Module properties

taco_threshold_automaton::lia_threshold_automaton

Module properties 

Source
Expand description

Implementation of functionality for LIAThresholdAutomaton, LIARule and the guard types

This module contains the structs and traits for the linear integer arithmetic threshold automaton representation.