Model operation

Description

Instructions

Set

∃Type n, n in condition of Constraint∧prop∈n. properties

In the model look for a certain type and constraint elements and assignment for its attribute

Add

∃Type s, ∃Type f, s∈f∧f in condition of Constraint∧props⊆s. properties

In the model look for a certain type and constraint elements as the parent node, add the type of child nodes and assignment

Remove

∀Type n, n not in condition of Constraint

In the model look for a certain type and constraint elements and delete them