# Test::Int::Arithmetic Namespace Reference

Tests for arithmetic constraints More...

## Classes | |

class | MultXYZ |

Test for multiplication constraint More... | |

class | MultXXY |

Test for multiplication constraint with shared variables More... | |

class | MultXYX |

Test for multiplication constraint with shared variables More... | |

class | MultXYY |

Test for multiplication constraint with shared variables More... | |

class | MultXXX |

Test for multiplication constraint with shared variables More... | |

class | SqrXY |

Test for squaring constraint More... | |

class | SqrXX |

Test for squaring constraint with shared variables More... | |

class | SqrtXY |

Test for square root constraint More... | |

class | SqrtXX |

Test for square root constraint with shared variables More... | |

class | PowXY |

Test for power constraint More... | |

class | PowXX |

Test for power constraint with shared variables More... | |

class | NrootXY |

Test for nroot constraint More... | |

class | NrootXX |

Test for nroot constraint with shared variables More... | |

class | DivMod |

Test for division/modulo constraint More... | |

class | Div |

Test for division constraint More... | |

class | Mod |

Test for modulo constraint More... | |

class | AbsXY |

Test for absolute value constraint More... | |

class | AbsXX |

Test for absolute value constraint with shared variables More... | |

class | MinXYZ |

Test for binary minimum constraint More... | |

class | MinXXY |

Test for binary minimum constraint with shared variables More... | |

class | MinXYX |

Test for binary minimum constraint with shared variables More... | |

class | MinXYY |

Test for binary minimum constraint with shared variables More... | |

class | MinXXX |

Test for binary minimum constraint with shared variables More... | |

class | MaxXYZ |

Test for binary maximum constraint More... | |

class | MaxXXY |

Test for binary maximum constraint with shared variables More... | |

class | MaxXYX |

Test for binary maximum constraint with shared variables More... | |

class | MaxXYY |

Test for binary maximum constraint with shared variables More... | |

class | MaxXXX |

Test for binary maximum constraint with shared variables More... | |

class | MinNary |

Test for n-ary minimmum constraint More... | |

class | MinNaryShared |

Test for n-ary minimmum constraint with shared variables More... | |

class | MaxNary |

Test for n-ary maximum constraint More... | |

class | MaxNaryShared |

Test for n-ary maximum constraint with shared variables More... | |

class | ArgMax |

Test for argument maximum constraint More... | |

class | ArgMaxShared |

Test for argument maximum constraint with shared variables More... | |

class | ArgMin |

Test for argument minimum constraint More... | |

class | ArgMinShared |

Test for argument minimum constraint with shared variables More... | |

class | ArgMaxBool |

Test for Boolean argument maximum constraint More... | |

class | ArgMaxBoolShared |

Test for argument maximum constraint with shared variables More... | |

class | ArgMinBool |

Test for argument minimum constraint More... | |

class | ArgMinBoolShared |

Test for argument minimum constraint with shared variables More... | |

class | Create |

Help class to create and register tests. More... | |

## Functions | |

bool | powgr (int n, long long int r, int x) |

int | fnroot (int n, int x) |

bool | powle (int n, long long int r, int x) |

int | cnroot (int n, int x) |

## Variables | |

Create | c |

## Detailed Description

Tests for arithmetic constraints