Constrainer type for DV_STATE instances. The attribute c_value defines a
state/event table which constrains the allowed values of the attribute value in a
DV_STATE instance, as well as the order of transitions between values.

Declaration :

• C++ : class C_DV_STATE
• Java : public class C_DV_STATE

Artifact : C_DV_STATE