Expand description
Builder for interval threshold automaton
This module provides a builder for generating interval threshold automata from linear integer arithmetic threshold automata. In the process, the builder also generates all possible interval orders for the given threshold automaton.
Modules§
- static_
interval_ order - This module implements a static order on intervals
Structs§
- IntervalTA
Builder - Builder for generating interval threshold automata