OKlibrary  0.2.1.6
Domains::Boolean_T< SignRing >::set Class Reference

#include <Domains.hpp>

List of all members.

Public Member Functions

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

Detailed Description

template<class SignRing>
class Domains::Boolean_T< SignRing >::set

Definition at line 306 of file Domains.hpp.


Constructor & Destructor Documentation

template<class SignRing >
Domains::Boolean_T< SignRing >::set::set ( ) [inline]

Definition at line 309 of file Domains.hpp.


Member Function Documentation

template<class SignRing >
Boolean_T Domains::Boolean_T< SignRing >::set::unit ( ) const [inline]

Definition at line 329 of file Domains.hpp.

References Domains::Boolean_T< SignRing >::Boolean_T().


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