Skip to main content

Module constraint

Module constraint 

Source
Expand description

Domain-agnostic constraint channel trait for the safety kernel.

Constraint channels evaluate a single dimension of safety and return a margin in [0, 1]. Domain adapters compose multiple channels to cover all relevant safety dimensions for a given domain.

Traitsยง

ConstraintChannel
A domain-agnostic constraint channel operating on a state vector.