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)