
Tests for minimal modelling constraints (arithmetic) More...
Classes | |
| class | Abs |
| Test for absolute value constraint More... | |
| class | Div |
| Test for division constraint More... | |
| class | Max |
| Test for binary maximum constraint More... | |
| class | MaxNary |
| Test for n-ary maximum constraint More... | |
| class | Min |
| Test for binary minimum constraint More... | |
| class | MinNary |
| Test for n-ary minimmum constraint More... | |
| class | Minus |
| Test for subtraction constraint More... | |
| class | Mod |
| Test for division constraint More... | |
| class | Mult |
| Test for multiplication constraint More... | |
| class | Plus |
| Test for addition constraint More... | |
| class | Sqr |
| Test for sqr constraint More... | |
| class | Sqrt |
| Test for sqrt constraint More... | |
Tests for minimal modelling constraints (arithmetic)