concepts::Z3 Class Reference

Algebraic group with three elements: 0, 1 and 2. More...

#include <Zm.hh>

Public Member Functions
	operator int () const
	Conversion operator. More...
int	operator++ ()
	Increment operator. More...
int	operator-- ()
	Decrement operator. More...
int	operator= (int i)
	Assignment operator. More...
Z3	pred () const
	Returns the predecessor. More...
Z3	succ () const
	Returns the successor. More...
	Z3 ()
	Default constructor. Initialises to 0. More...
	Z3 (uint i)
	Constructor. More...

Private Attributes
uchar	i_
	Data. More...

Detailed Description

Algebraic group with three elements: 0, 1 and 2.

Definition at line 40 of file Zm.hh.

Constructor & Destructor Documentation

Z3() [1/2]

concepts::Z3::Z3 ( )

inline

Default constructor. Initialises to 0.

Definition at line 45 of file Zm.hh.

Z3() [2/2]

concepts::Z3::Z3 ( uint  i )

inline

Constructor.

Definition at line 47 of file Zm.hh.

Member Function Documentation

operator int()

concepts::Z3::operator int ( ) const

inline

Conversion operator.

Definition at line 50 of file Zm.hh.

operator++()

int concepts::Z3::operator++ ( )

inline

Increment operator.

Definition at line 55 of file Zm.hh.

operator--()

int concepts::Z3::operator-- ( )

inline

Decrement operator.

Definition at line 57 of file Zm.hh.

operator=()

int concepts::Z3::operator= ( int  i )

inline

Assignment operator.

Definition at line 53 of file Zm.hh.

pred()

Z3 concepts::Z3::pred ( ) const

inline

Returns the predecessor.

Definition at line 61 of file Zm.hh.

succ()

Z3 concepts::Z3::succ ( ) const

inline

Returns the successor.

Definition at line 59 of file Zm.hh.

Member Data Documentation

i_

uchar concepts::Z3::i_

private

Data.

Definition at line 42 of file Zm.hh.

---

The documentation for this class was generated from the following file:

• basics/Zm.hh