View: Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:General Info | Constrained Elements

basic
Constraint Next_state_valid

General Info
NameNext_state_valid
Expressioninv: next_state <> Void 
Base Classes  Class

Constrained Elements
NameType
TRANSITIONClass