concepts::Z3 Class Reference

#include <Zm.hh>

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

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.

---

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

• basics/Zm.hh