Module behavior

Behavior requirement builder module

Structs

Behavior

Behavior requirement or constraint. States how variable values should respond to sets of values for stimuli.

BehaviorCase

Behavior case that states how certain variables should respond to a set of values of stimuli.

Enums

BehaviorWhen

When statement of a behavior case. Either the fallback case (at most one) or a set of clauses as a mapping.

Functions

build_behavior_case

Build a single behavior case.

build_behavior_instantiation

Build a single behavior requirement or constraint.

build_behavior_then

Build a single behavior then statement.

build_behavior_when

Build a single behavior when statement.

Type Aliases

BehaviorThen

Then statement of a behavior case. A mapping of names to design rules.