priority property

int priority

The constraint priority to use in sorting.

Implementation

int get priority;