Constraint validation support

Status: Alpha

Brought to you by: m_antkiewicz

#4 Constraint validation support

Milestone: Next_Release_(example)

Status: open

Owner: nobody

Labels: constraints (2)

Priority: 7

Updated: 2006-09-13

Created: 2006-09-13

Private: No

Primarily uses in Constraints View and during model to
propositional formula translation.

The constraint is valid iff:
1) is syntactically correct AND
2) uses existing element Ids AND
3) element Ids used belong to one feature diagram