Go to the documentation of this file.
26 operator int()
const {
return i_; }
47 Z3(uint i) :
i_(i - 3 * (i / 3)) {}
50 operator int()
const {
return i_; }
78 operator int()
const {
return i_; }
int operator=(int i)
Assignment operator.
int operator++()
Increment operator.
Z4 succ() const
Returns the successor.
unsigned char uchar
Abbreviation for unsigned char.
int operator--()
Decrement operator.
int operator++()
Increment operator.
Z3 succ() const
Returns the successor.
Z2()
Default constructor. Initialises to 0.
Z2 succ() const
Returns the successor.
int operator=(int i)
Assignment operator.
Z3 pred() const
Returns the predecessor.
int operator--()
Decrement operator.
int operator++()
Increment operator.
int operator=(int i)
Assignment operator.
Algebraic group with three elements: 0, 1 and 2.
Z4 pred() const
Returns the predecessor.
Binary group (algebraic): only the values 0 and 1 are represented.
Algebraic group with four elements: 0, 1, 2 and 3.
Z3()
Default constructor. Initialises to 0.
Basic namespace for Concepts-2.
Z4()
Default constructor. Initialises to 0.