Module upwards_closed_set 

Module for implementing atomic proposition types for model checking of threshold automata

This module implements the basic specification types for parameterized model checking of threshold automata, as well as some helper functions that are useful when translating form a specification language.

Structs

UpwardsClosedClause

Description of an upwards closed set of configurations of a threshold automaton

UpwardsClosedSet

Type representing an upwards closed set of configurations

Enums

UpwardsClosedSetExtractionError

Errors that can occur when attempting to extract an upwards closed set of configurations