Constraint Descriptor : constraint_datatypes_state2 (type: ERROR, kind: )

Constraint : constraint_datatypes_state2

Constraint Name
constraint_datatypes_state2 (type: ERROR, kind: )
Constraint Class
AD
Package
datatypes
Description
it does not make sense for an address to have two states
OCL
self.state->size()<2