OKlibrary  0.2.1.6
Domains::FiniteDomain< Int, D >::set Class Reference

#include <Domains.hpp>

List of all members.

Public Member Functions

 set ()
insertion_status insert (FiniteDomain e)
FiniteDomain unit () const

Detailed Description

template<typename Int, Int D>
class Domains::FiniteDomain< Int, D >::set

Definition at line 150 of file Domains.hpp.


Constructor & Destructor Documentation

template<typename Int, Int D>
Domains::FiniteDomain< Int, D >::set::set ( ) [inline]

Definition at line 154 of file Domains.hpp.


Member Function Documentation

template<typename Int, Int D>
FiniteDomain Domains::FiniteDomain< Int, D >::set::unit ( ) const [inline]

Definition at line 165 of file Domains.hpp.


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