| Overview | Group | Tree | Graph | Index | Concepts |
This function creates and returns a constraint that forces the
the variable var to be equal to the element index of the
array array.
This function creates and returns a constraint that forces the
the value val to be equal to the element index of the
array array.