Module config_ctx

taco_smt_encoder::expression_encoding

Module config_ctx 

Source
Expand description

This module defines the ConfigContext type which declares all SMT variables required to represent a configuration inside an SMT encoding

Structs§

ConfigCtx
SMT context for a configuration of a threshold automaton

Traits§

ConfigFromSMT
Trait for Context