company logo

Instance value

An instance value is either a constant (for elementary properties) or a property list for properties with complex data type.

Definition: 

inst_value := constant | prop_list