AspectProving
If a signal fails to show a given aspect, then another signal is forced to show another, typically more restrictive, aspect.
ownsAspectProving
AspectProving
If a signal fails to show a given aspect, then another signal is forced to show another, typically more restrictive, aspect.
bestAllowedAspect
checksAspect
comment
If a signal fails to show a gi ...... ally more restrictive, aspect.