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