OKlibrary  0.2.1.6
Domains Namespace Reference

Classes

class  FiniteDomain
class  Boolean_T

Typedefs

typedef FiniteDomain< unsigned
char, 2 > 
FD2
typedef FiniteDomain< unsigned
char, 3 > 
FD3
typedef FiniteDomain< unsigned
char, 4 > 
FD4
typedef Boolean_T
< AlgebraicStructures::SignRing
Boolean

Typedef Documentation

typedef FiniteDomain<unsigned char, 2> Domains::FD2

Definition at line 179 of file Domains.hpp.

typedef FiniteDomain<unsigned char, 3> Domains::FD3

Definition at line 180 of file Domains.hpp.

typedef FiniteDomain<unsigned char, 4> Domains::FD4

Definition at line 181 of file Domains.hpp.