# arithmetic.cpp File Reference

`#include "test/int.hh"`

`#include <cmath>`

`#include <algorithm>`

`#include <gecode/minimodel.hh>`

Go to the source code of this file.

## Classes | |

class | Test::Int::Arithmetic::MultXYZ |

Test for multiplication constraint More... | |

class | Test::Int::Arithmetic::MultXXY |

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

class | Test::Int::Arithmetic::MultXYX |

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

class | Test::Int::Arithmetic::MultXYY |

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

class | Test::Int::Arithmetic::MultXXX |

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

class | Test::Int::Arithmetic::SqrXY |

Test for squaring constraint More... | |

class | Test::Int::Arithmetic::SqrXX |

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

class | Test::Int::Arithmetic::SqrtXY |

Test for square root constraint More... | |

class | Test::Int::Arithmetic::SqrtXX |

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

class | Test::Int::Arithmetic::PowXY |

Test for power constraint More... | |

class | Test::Int::Arithmetic::PowXX |

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

class | Test::Int::Arithmetic::NrootXY |

Test for nroot constraint More... | |

class | Test::Int::Arithmetic::NrootXX |

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

class | Test::Int::Arithmetic::DivMod |

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

class | Test::Int::Arithmetic::Div |

Test for division constraint More... | |

class | Test::Int::Arithmetic::Mod |

Test for modulo constraint More... | |

class | Test::Int::Arithmetic::AbsXY |

Test for absolute value constraint More... | |

class | Test::Int::Arithmetic::AbsXX |

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

class | Test::Int::Arithmetic::MinXYZ |

Test for binary minimum constraint More... | |

class | Test::Int::Arithmetic::MinXXY |

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

class | Test::Int::Arithmetic::MinXYX |

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

class | Test::Int::Arithmetic::MinXYY |

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

class | Test::Int::Arithmetic::MinXXX |

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

class | Test::Int::Arithmetic::MaxXYZ |

Test for binary maximum constraint More... | |

class | Test::Int::Arithmetic::MaxXXY |

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

class | Test::Int::Arithmetic::MaxXYX |

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

class | Test::Int::Arithmetic::MaxXYY |

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

class | Test::Int::Arithmetic::MaxXXX |

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

class | Test::Int::Arithmetic::MinNary |

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

class | Test::Int::Arithmetic::MinNaryShared |

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

class | Test::Int::Arithmetic::MaxNary |

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

class | Test::Int::Arithmetic::MaxNaryShared |

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

class | Test::Int::Arithmetic::ArgMax |

Test for argument maximum constraint More... | |

class | Test::Int::Arithmetic::ArgMaxShared |

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

class | Test::Int::Arithmetic::ArgMin |

Test for argument minimum constraint More... | |

class | Test::Int::Arithmetic::ArgMinShared |

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

class | Test::Int::Arithmetic::ArgMaxBool |

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

class | Test::Int::Arithmetic::ArgMaxBoolShared |

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

class | Test::Int::Arithmetic::ArgMinBool |

Test for argument minimum constraint More... | |

class | Test::Int::Arithmetic::ArgMinBoolShared |

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

class | Test::Int::Arithmetic::Create |

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

## Namespaces | |

namespace | Test |

General test support. | |

namespace | Test::Int |

Testing finite domain integers. | |

namespace | Test::Int::Arithmetic |

Tests for arithmetic constraints | |

## Functions | |

bool | Test::Int::Arithmetic::powgr (int n, long long int r, int x) |

int | Test::Int::Arithmetic::fnroot (int n, int x) |

bool | Test::Int::Arithmetic::powle (int n, long long int r, int x) |

int | Test::Int::Arithmetic::cnroot (int n, int x) |

## Variables | |

Create | Test::Int::Arithmetic::c |