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
.